View in EDS PDF Full Text

Model checking multi-level and recursive nets.

Saved in:
Bibliographic Details
Title: Model checking multi-level and recursive nets.
Authors: Fernández Venero, Mirtha1, mirtha.lina@ufabc.edu.br, Corrêa da Silva, Flávio2, fcs@ime.usp.br
Source: Software & Systems Modeling; Oct2017, Vol. 16 Issue 4, p1117-1144, 28p
Database: Applied Science & Technology Source
Description
ISSN:16191366
DOI:10.1007/s10270-015-0509-6