@book{
    BarHel:PDMC2011,
    author = "Barnat, Jiri and Heljanko, Keijo",
    publisher = "Electronic Proceedings in Theoretical Computer Science",
    isbn = "",
    language = "eng",
    title = "Proceedings of the 10th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2011)",
    url = "http://dx.doi.org/10.4204/EPTCS.72",
    series = "Electronic Proceedings in Theoretical Computer Science",
    corerank = "NA",
    volume = "72",
    ee = "http://dx.doi.org/10.4204/EPTCS.72",
    responsibleauthor = "Heljanko, Keijo",
    flags = "DC",
    il = "yes",
    year = "2011",
    unitcode = "T306",
    impactfactor = "C2",
    juforank = "1"
}