| Original language | English |
|---|
| DOIs | |
|---|---|
| Publication status | Published - 2011 |
| Externally published | Yes |
| MoE publication type | C2 Edited book |
Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation
Jiri Barnat, Keijo Heljanko
Research output: Book/Report › Anthology or special issue › Scientific › peer-review