| Alkuperäiskieli | englanti |
|---|
| DOI - pysyväislinkit | |
|---|---|
| Tila | Julkaistu - 2011 |
| Julkaistu ulkoisesti | Kyllä |
| OKM-julkaisutyyppi | C2 Toimitettu teos |
Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation
Jiri Barnat, Keijo Heljanko
Tutkimustuotos: Kirja/raportti › Kokoomateos tai erikoisnumero › Tieteellinen › vertaisarvioitu