Reachability tree for statecharts and analysis of some properties (1994)
Masiero, Paulo Cesar 
; Maldonado, José Carlos ; Boaventura, I G
Source: Information and Software Technology. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MASIERO, Paulo Cesar e MALDONADO, José Carlos e BOAVENTURA, I G. Reachability tree for statecharts and analysis of some properties. Information and Software Technology, v. 36, n. 10, p. 615-24, 1994Tradução . . Disponível em: https://doi.org/10.1016/0950-5849(94)90021-3. Acesso em: 28 nov. 2025.APA
Masiero, P. C., Maldonado, J. C., & Boaventura, I. G. (1994). Reachability tree for statecharts and analysis of some properties. Information and Software Technology, 36( 10), 615-24. doi:10.1016/0950-5849(94)90021-3NLM
Masiero PC, Maldonado JC, Boaventura IG. Reachability tree for statecharts and analysis of some properties [Internet]. Information and Software Technology. 1994 ;36( 10): 615-24.[citado 2025 nov. 28 ] Available from: https://doi.org/10.1016/0950-5849(94)90021-3Vancouver
Masiero PC, Maldonado JC, Boaventura IG. Reachability tree for statecharts and analysis of some properties [Internet]. Information and Software Technology. 1994 ;36( 10): 615-24.[citado 2025 nov. 28 ] Available from: https://doi.org/10.1016/0950-5849(94)90021-3
