![](/img/cover-not-exists.png)
Multi-parameterised compositional verification of safety properties
Siirtola, Antti, Kortelainen, JuhaVolume:
244
Language:
english
Journal:
Information and Computation
DOI:
10.1016/j.ic.2015.08.002
Date:
October, 2015
File:
PDF, 872 KB
english, 2015