WP 07-04 Participants proceedings of the Sixth International Workshop on Parallel and Distributed Methods in verifiCation

Contact

	CTIT Home > ... > CTIT Workshop Proceedings, ISSN 0929-0672 > WP 07-04 Participants proceedings of the Sixth International Workshop on Parallel and Distributed Methods in verifiCation
Home CTIT symposium 2013 About CTIT News NIRICT Research Meet the PhDs Working at CTIT Internal Information Conferences Open Calls (updated May 3, 2013) Library and Videos Knowledge Transfer Links Sitemap Search	WP 07-04 Participants proceedings of the Sixth International Workshop on Parallel and Distributed Methods in verifiCation If you are interested in this proceedings, please contact Sandra Westhoff, a.g.h.westhoff@utwente.nl