Inês A. G. Boaventura, Paulo César Masiero. Execução Exaustiva de Statecharts. In Daltro José Nunes, Ana Maria de Alencar Price, Loreta Scheuer de O. Ramos, editors, Proceedings of the 6th Brazilian Symposium on Software Engineering, SBES 1992, Gramado, RS, Brazil, November 4-6, 1992. pages 143-150, SBC, 1992. [doi]
Abstract is missing.