4th International Workshop on Parallel and Distributed Methods in verifiCation

PDMC 2005

Sunday 10 July 2005, Lisboa, Portugal
Affiliated to ICALP 2005, 11–15 July, 2005.



Call for Papers

Here is a CfP-Poster (.pdf).