PDMC 2003 - Parallel and Distributed Model Checking. Proceedings.
Authors | |
---|---|
Year of publication | 2003 |
Type | Monograph |
MU Faculty or unit | |
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: |