@inproceedings{
    WieNiemHelPDMC09,
    editor = "Brim, Lubos and van der Pol, Jaco",
    author = "Wieringa, Siert and Niemenmaa, Matti and Heljanko, Keijo",
    responsibleauthor = "Wieringa, Siert",
    language = "eng",
    title = "Tarmo: A framework for Parallelized Bounded Model Checking",
    ee = "http://dx.doi.org/10.4204/EPTCS.14.5",
    series = "Electronic Proceedings in Theoretical Computer Science (EPTCS)",
    booktitle = "Proceedings of the 8th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC'09)",
    corerank = "NA",
    volume = "14",
    juforank = "NA",
    flags = "DC",
    il = "no",
    eventdetails = "November 4, Eindhoven, The Netherlands",
    year = "2009",
    unitcode = "T306-100",
    kay = "NA",
    impactfactor = "D3",
    pages = "62-76"
}