Reachability tree for statecharts and analysis of some properties (1994)
Source: Information and Software Technology. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
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: 07 out. 2024.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 2024 out. 07 ] 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 2024 out. 07 ] Available from: https://doi.org/10.1016/0950-5849(94)90021-3