| Originalspråk | engelska |
|---|
| DOI | |
|---|---|
| Status | Publicerad - 2011 |
| Externt publicerad | Ja |
| MoE-publikationstyp | C2 Redigerade böcker |
Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation
Jiri Barnat, Keijo Heljanko
Forskningsoutput: Bok/rapport › Antologi eller special utgåva › Vetenskaplig › Peer review