CTIT University of Twente
Research Business & Innovation About CTIT Research Calls Looking for a job? Intranet

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