![](/img/cover-not-exists.png)
A state/event-based model-checking approach for the analysis of abstract system properties
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco MazzantiVolume:
76
Year:
2011
Language:
english
Pages:
17
DOI:
10.1016/j.scico.2010.07.002
File:
PDF, 2.30 MB
english, 2011