PDMC 2003 - Parallel and Distributed Model Checking. Proceedings.

Investor logo

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:

You are running an old browser version. We recommend updating your browser to its latest version.

More info