%0 Conference Paper %1 conf/sac/RodriguesSC09 %A Rodrigues, Cássio L. %A da Silva, Karina R. G. %A do N. Cunha, Henrique %B SAC %D 2009 %E Shin, Sung Y. %E Ossowski, Sascha %I ACM %K dblp %P 1632-1636 %T Improving functional verification of embedded systems using hierarchical composition and set theory. %U http://dblp.uni-trier.de/db/conf/sac/sac2009.html#RodriguesSC09 %@ 978-1-60558-166-8

@inproceedings{conf/sac/RodriguesSC09, added-at = {2018-11-06T00:00:00.000+0100}, author = {Rodrigues, Cássio L. and da Silva, Karina R. G. and do N. Cunha, Henrique}, biburl = {https://www.bibsonomy.org/bibtex/2dc65d4e0550861e9537880c87adf05c5/dblp}, booktitle = {SAC}, crossref = {conf/sac/2009}, editor = {Shin, Sung Y. and Ossowski, Sascha}, ee = {https://doi.org/10.1145/1529282.1529650}, interhash = {10a337ac8e0708ffd7bfa3c9ad6eea50}, intrahash = {dc65d4e0550861e9537880c87adf05c5}, isbn = {978-1-60558-166-8}, keywords = {dblp}, pages = {1632-1636}, publisher = {ACM}, timestamp = {2018-11-07T13:11:25.000+0100}, title = {Improving functional verification of embedded systems using hierarchical composition and set theory.}, url = {http://dblp.uni-trier.de/db/conf/sac/sac2009.html#RodriguesSC09}, year = 2009 }