Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation

Jiri Barnat, Keijo Heljanko

    Research output: Book/ReportAnthologyScientificpeer-review

    Original languageEnglish
    Place of PublicationSnowbird, Utah, USA
    DOIs
    Publication statusPublished - 2011
    MoE publication typeC2 Edited books

    Publication series

    NameElectronic Proceedings in Theoretical Computer Science

    Cite this