Proceedings of the 10th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2011)

Reference:

Jiri Barnat and Keijo Heljanko. Proceedings of the 10th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2011), volume 72 of Electronic Proceedings in Theoretical Computer Science. Electronic Proceedings in Theoretical Computer Science, 2011.

Suggested BibTeX entry:

@book{BarHel:PDMC2011,
    author = {Jiri Barnat and Keijo Heljanko},
    language = {eng},
    publisher = {Electronic Proceedings in Theoretical Computer Science},
    series = {Electronic Proceedings in Theoretical Computer Science},
    title = {Proceedings of the 10th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2011)},
    volume = {72},
    year = {2011},
}