%0 Conference Paper %1 conf/glvlsi/GadkariRP04 %A Gadkari, Ambar A. %A Ramesh, S. %A Parekhji, Rubin A. %B ACM Great Lakes Symposium on VLSI %D 2004 %E Garrett, David %E Lach, John C. %E Zukowski, Charles A. %I ACM %K dblp %P 354-357 %T CESC: a visual formalism for specification and verification of SoCs. %U http://dblp.uni-trier.de/db/conf/glvlsi/glvlsi2004.html#GadkariRP04 %@ 1-58113-853-9

@inproceedings{conf/glvlsi/GadkariRP04, added-at = {2019-03-07T00:00:00.000+0100}, author = {Gadkari, Ambar A. and Ramesh, S. and Parekhji, Rubin A.}, biburl = {https://www.bibsonomy.org/bibtex/275b83c16f038c9cf979432d92314f56a/dblp}, booktitle = {ACM Great Lakes Symposium on VLSI}, crossref = {conf/glvlsi/2004}, editor = {Garrett, David and Lach, John C. and Zukowski, Charles A.}, ee = {https://doi.org/10.1145/988952.989038}, interhash = {a385b91d0487af3960a662e3843d09c5}, intrahash = {75b83c16f038c9cf979432d92314f56a}, isbn = {1-58113-853-9}, keywords = {dblp}, pages = {354-357}, publisher = {ACM}, timestamp = {2024-04-09T22:50:39.000+0200}, title = {CESC: a visual formalism for specification and verification of SoCs.}, url = {http://dblp.uni-trier.de/db/conf/glvlsi/glvlsi2004.html#GadkariRP04}, year = 2004 }