![](/img/cover-not-exists.png)
Model checking multi-level and recursive nets
Fernández Venero, Mirtha Lina, Corrêa da Silva, Flávio SoaresLanguage:
english
Journal:
Software & Systems Modeling
DOI:
10.1007/s10270-015-0509-6
Date:
January, 2016
File:
PDF, 2.87 MB
english, 2016