PDMC 2003 - Parallel and Distributed Model Checking. Proceedings.

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