%0 Conference Paper %1 conf/glvlsi/HoskoteAF95 %A Hoskote, Yatin Vasant %A Abraham, Jacob A. %A Fussell, Donald S. %B Great Lakes Symposium on VLSI %D 1995 %I IEEE Computer Society %K dblp %P 100-105 %T Automated verification of temporal properties specified as state machines in VHDL. %U http://dblp.uni-trier.de/db/conf/glvlsi/glvlsi1995.html#HoskoteAF95 %@ 0-8186-7035-5

@inproceedings{conf/glvlsi/HoskoteAF95, added-at = {2023-03-24T00:00:00.000+0100}, author = {Hoskote, Yatin Vasant and Abraham, Jacob A. and Fussell, Donald S.}, biburl = {https://www.bibsonomy.org/bibtex/2703c2ba2f716f6a387f9ead12634e6e8/dblp}, booktitle = {Great Lakes Symposium on VLSI}, crossref = {conf/glvlsi/1995}, ee = {http://dl.acm.org/citation.cfm?id=797407}, interhash = {9451cd91587abf62561b3d36d5a178df}, intrahash = {703c2ba2f716f6a387f9ead12634e6e8}, isbn = {0-8186-7035-5}, keywords = {dblp}, pages = {100-105}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T16:23:31.000+0200}, title = {Automated verification of temporal properties specified as state machines in VHDL.}, url = {http://dblp.uni-trier.de/db/conf/glvlsi/glvlsi1995.html#HoskoteAF95}, year = 1995 }