PDMC 2002 - Parallel and Distributed Model Checking. Proceedings.

• Authors: BRIM Luboš; GRUMBERG Orna
• Year of publication: 2002
• Type: Monograph
• MU Faculty or unit: Faculty of Informatics
• 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