Model Checking Methodology for Large Systems, Faults and Asynchronous Behaviour - SARANA 2011 Work Report

Reference:

Jussi Lahtinen, Tuomas Launiainen, Keijo Heljanko, and Jonatan Ropponen. Model checking methodology for large systems, faults and asynchronous behaviour - SARANA 2011 work report. VTT Technology 12, VTT Technical Research Centre of Finland, Espoo, 2012.

Suggested BibTeX entry:

@techreport{VTTTech12,
    address = {Espoo},
    author = {Jussi Lahtinen and Tuomas Launiainen and Keijo Heljanko and Jonatan Ropponen},
    institution = {VTT Technical Research Centre of Finland},
    language = {eng},
    number = {12},
    pages = {84},
    series = {VTT Technology},
    title = {Model Checking Methodology for Large Systems, Faults and Asynchronous Behaviour - {SARANA} 2011 Work Report},
    type = {VTT Technology},
    year = {2012},
}