Execução Exaustiva de Statecharts

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]

@inproceedings{BoaventuraM92,
  title = {Execução Exaustiva de Statecharts},
  author = {Inês A. G. Boaventura and Paulo César Masiero},
  year = {1992},
  doi = {10.5753/sbes.1992.25180},
  url = {https://doi.org/10.5753/sbes.1992.25180},
  researchr = {https://researchr.org/publication/BoaventuraM92},
  cites = {0},
  citedby = {0},
  pages = {143-150},
  booktitle = {Proceedings of the 6th Brazilian Symposium on Software Engineering, SBES 1992, Gramado, RS, Brazil, November 4-6, 1992},
  editor = {Daltro José Nunes and Ana Maria de Alencar Price and Loreta Scheuer de O. Ramos},
  publisher = {SBC},
}