@inproceedings{
    SH13,
    editor = "Carmona, J. and Lazarescu, M. T. and Pietkiewicz-Koutny, M.",
    author = "Siirtola, Antti and Heljanko, Keijo",
    juforank = "1",
    doi = "10.1109/ACSD.2013.9",
    isbn = "978-0-7695-5035-0",
    language = "eng",
    title = "Parametrised Compositional Verification with Multiple Process and Data Types",
    country = "United States",
    booktitle = "Proceedings, 13th International Conference on Application of Concurrency to System Design (ACSD)",
    issn = "1550-4808",
    publisher = "IEEE",
    responsibleauthor = "Siirtola, Antti and Heljanko, Keijo",
    flags = "public",
    il = "no",
    eventdetails = "13th International Conference on Application of Concurrency to System Design, Barcelona, Spain, July 8-10, 2013",
    year = "2013",
    unitcode = "T306-100",
    kay = "NA",
    impactfactor = "A4",
    pages = "67-76"
}