Fingerprint
Dive into the research topics of 'Model checking methodology for large systems, faults and asynchronous behaviour: SARANA 2011 work report'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Model checking methodology for large systems, faults and asynchronous behaviour: SARANA 2011 work report
Jussi Lahtinen, Tuomas Launiainen, Keijo Heljanko, Jonatan Ropponen
Research output: Book/Report › Report