Cássio L. Rodrigues, Fabio Jorge Morais, Leandro Max L. Silva, Karina R. G. da Silva, Jorge C. A. de Figueiredo, Dalton Dario Serey Guerrero, Elmar U. K. Melcher. Functional verification methodology using Hierarchical Coloured Petri Nets-based testbenches. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Singapore, 12-15 October 2008. pages 2093-2098, IEEE, 2008. [doi]
@inproceedings{RodriguesMSSFGM08,
title = {Functional verification methodology using Hierarchical Coloured Petri Nets-based testbenches},
author = {Cássio L. Rodrigues and Fabio Jorge Morais and Leandro Max L. Silva and Karina R. G. da Silva and Jorge C. A. de Figueiredo and Dalton Dario Serey Guerrero and Elmar U. K. Melcher},
year = {2008},
doi = {10.1109/ICSMC.2008.4811600},
url = {http://dx.doi.org/10.1109/ICSMC.2008.4811600},
researchr = {https://researchr.org/publication/RodriguesMSSFGM08},
cites = {0},
citedby = {0},
pages = {2093-2098},
booktitle = {Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Singapore, 12-15 October 2008},
publisher = {IEEE},
isbn = {978-1-4244-2383-5},
}