Model checking multi-level and recursive nets

Model checking multi-level and recursive nets (2017)

Authors:
- Fernández Venero, Mirtha Lina
- Silva, Flávio Soares Corrêa da
Autor USP: SILVA, FLAVIO SOARES CORREA DA - IME
Unidade: IME
DOI: 10.1007/s10270-015-0509-6
Subjects: PROTOCOLOS DE COMUNICAÇÃO; REDES DE PETRI; ENGENHARIA DE SOFTWARE
Keywords: multi-level modeling; model checking; SPIN
Language: Inglês
Imprenta:
- Publisher place: Heidelberg
- Date published: 2017
Source:
- Título: Software and Systems Modeling
- ISSN: 1619-1374
- Volume/Número/Paginação/Ano: v. 16, n. 4, p. 1117–1144, 2017

Informações sobre o DOI: 10.1007/s10270-015-0509-6 (Fonte: oaDOI API)

Tipo	Nome	Link
	2737184.pdf
	2737184.pdf	Direct link

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: 28 fev. 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-6
NLM

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 fev. 28 ] Available from: https://doi.org/10.1007/s10270-015-0509-6
Vancouver

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 fev. 28 ] Available from: https://doi.org/10.1007/s10270-015-0509-6