TY  - RPRT
TI  - Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation
AU  - Jiří Barnat
AU  - Keijo Heljanko
PY  - 2011
DO  - 10.4204/eptcs.72
UR  - https://arxiv.org/abs/1111.0064
ID  - 1111.0064
ER  -