%0 Conference Paper %1 conf/smc/RodriguesMSSFGM08 %A Rodrigues, Cássio L. %A Morais, Fábio Jorge Almeida %A Silva, Leandro Max L. %A da Silva, Karina R. G. %A de Figueiredo, Jorge C. A. %A Guerrero, Dalton Dario Serey %A Melcher, Elmar U. K. %B SMC %D 2008 %I IEEE %K dblp %P 2093-2098 %T Functional verification methodology using Hierarchical Coloured Petri Nets-based testbenches. %U http://dblp.uni-trier.de/db/conf/smc/smc2008.html#RodriguesMSSFGM08 %@ 978-1-4244-2383-5

@inproceedings{conf/smc/RodriguesMSSFGM08, added-at = {2022-01-18T00:00:00.000+0100}, author = {Rodrigues, Cássio L. and Morais, Fábio Jorge Almeida and Silva, Leandro Max L. and da Silva, Karina R. G. and de Figueiredo, Jorge C. A. and Guerrero, Dalton Dario Serey and Melcher, Elmar U. K.}, biburl = {https://www.bibsonomy.org/bibtex/2a47cd192a1eecce14eff4321215b4ed8/dblp}, booktitle = {SMC}, crossref = {conf/smc/2008}, ee = {https://doi.org/10.1109/ICSMC.2008.4811600}, interhash = {57d7d41e2c6a777f71c729ac1a62e968}, intrahash = {a47cd192a1eecce14eff4321215b4ed8}, isbn = {978-1-4244-2383-5}, keywords = {dblp}, pages = {2093-2098}, publisher = {IEEE}, timestamp = {2024-04-10T09:06:41.000+0200}, title = {Functional verification methodology using Hierarchical Coloured Petri Nets-based testbenches.}, url = {http://dblp.uni-trier.de/db/conf/smc/smc2008.html#RodriguesMSSFGM08}, year = 2008 }