PDMC 2002 - Parallel and Distributed Model Checking. Proceedings.

Brim,  Luboš; Grumberg, Orna

PDMC 2002 - Parallel and Distributed Model Checking. Proceedings.

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	BRIM Luboš GRUMBERG Orna
Year of publication	2002
Type	Monograph
MU Faculty or unit	Faculty of Informatics
Citation
Description	Proceedings of 1st International Workshop on Parallel and Distributed Model Checking (PDMC 2002) held in Brno, Czech Republic, August 19, 2002.
Related projects:	Algorithms and tools for practical verification of concurrent systems. Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing