PDMC 2003 - Parallel and Distributed Model Checking. Proceedings.

Brim,  Luboš; Grumberg, Orna

PDMC 2003 - Parallel and Distributed Model Checking. Proceedings.

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	BRIM Luboš GRUMBERG Orna
Year of publication	2003
Type	Monograph
MU Faculty or unit	Faculty of Informatics
Citation
Description	Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking (PDMC 2003) held in Boulder, Colorado, USA, Juy 14, 2003.
Related projects:	Automated Verification of Parallel and Distributed Systems Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing