BOAVENTURA, Inês A. G.; MASIERO, Paulo C..
Execução Exaustiva de Statecharts. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 6. , 1992, Gramado/RS.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1992
.
p. 143-150.
DOI: https://doi.org/10.5753/sbes.1992.25180.