Adenilso da Silva Simão, Simone do Rocio Senger de Souza, José Carlos Maldonado. A Family of Coverage Testing Criteria for Coloured Petri Nets. In Guilherme Horta Travassos, Altigran Soares da Silva, editors, Proceedings of the 17th Brazilian Symposium on Software Engineering, SBES 2003, Manaus, AM, Brazil, October 8-10, 2003. pages 205-220, SBC, 2003. [doi]
No references recorded for this publication.
No citations of this publication recorded.