PDMC 2003. Proceedings of the 2nd international workshop on parallel and distributed model checking (satellite workshop of CAV '03), Boulder, CO, USA, July 14, 2003 (Q360082)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | PDMC 2003. Proceedings of the 2nd international workshop on parallel and distributed model checking (satellite workshop of CAV '03), Boulder, CO, USA, July 14, 2003 |
scientific article |
Statements
PDMC 2003. Proceedings of the 2nd international workshop on parallel and distributed model checking (satellite workshop of CAV '03), Boulder, CO, USA, July 14, 2003 (English)
0 references
26 August 2013
0 references
