PDMC 2002. Proceedings of the first international workshop on parallel and distributed model checking (satellite workshop of CONCUR 2002), Brno, Czech Republic, August 19, 2002 (Q2392552)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | PDMC 2002. Proceedings of the first international workshop on parallel and distributed model checking (satellite workshop of CONCUR 2002), Brno, Czech Republic, August 19, 2002 |
scientific article |
Statements
PDMC 2002. Proceedings of the first international workshop on parallel and distributed model checking (satellite workshop of CONCUR 2002), Brno, Czech Republic, August 19, 2002 (English)
0 references
1 August 2013
0 references
