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
Be the first to leave a comment!
You must be logged in first