3rd International Workshop on Parallel and Distributed Methods in verifiCation

PDMC 2004

Saturday 4 September 2004, London, U.K.
Affiliated to CONCUR'04 , 31 August - 3 September 2004.

 

[ Home | Call for Papers | Submission Page | Instructions for Authors | Programme | Registration ]

Accepted Papers