Model checking multi-level and recursive nets (2017)
Fernández Venero, Mirtha Lina; Silva, Flávio Soares Corrêa da 
Source: Software and Systems Modeling. Unidade: IME
Subjects: PROTOCOLOS DE COMUNICAÇÃO, REDES DE PETRI, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FERNÁNDEZ VENERO, Mirtha Lina e SILVA, Flávio Soares Corrêa da. Model checking multi-level and recursive nets. Software and Systems Modeling, v. 16, n. 4, p. 1117–1144, 2017Tradução . . Disponível em: https://doi.org/10.1007/s10270-015-0509-6. Acesso em: 01 mar. 2026.APA
Fernández Venero, M. L., & Silva, F. S. C. da. (2017). Model checking multi-level and recursive nets. Software and Systems Modeling, 16( 4), 1117–1144. doi:10.1007/s10270-015-0509-6NLM
Fernández Venero ML, Silva FSC da. Model checking multi-level and recursive nets [Internet]. Software and Systems Modeling. 2017 ; 16( 4): 1117–1144.[citado 2026 mar. 01 ] Available from: https://doi.org/10.1007/s10270-015-0509-6Vancouver
Fernández Venero ML, Silva FSC da. Model checking multi-level and recursive nets [Internet]. Software and Systems Modeling. 2017 ; 16( 4): 1117–1144.[citado 2026 mar. 01 ] Available from: https://doi.org/10.1007/s10270-015-0509-6
