%0 Conference Paper %1 conf/dac/AzizBCHKKRSSTWBS94 %A Aziz, Adnan %A Balarin, Felice %A Cheng, Szu-Tsung %A Hojati, Ramin %A Kam, Timothy %A Krishnan, Sriram C. %A Ranjan, Rajeev K. %A Shiple, Thomas R. %A Singhal, Vigyan %A Tasiran, Serdar %A Wang, Huey-Yih %A Brayton, Robert K. %A Sangiovanni-Vincentelli, Alberto L. %B DAC %D 1994 %E Lorenzetti, Michael J. %I ACM Press %K dblp %P 454-459 %T HSIS: A BDD-Based Environment for Formal Verification. %U http://dblp.uni-trier.de/db/conf/dac/dac94.html#AzizBCHKKRSSTWBS94 %@ 0-7803-1836-6

@inproceedings{conf/dac/AzizBCHKKRSSTWBS94, added-at = {2019-05-27T00:00:00.000+0200}, author = {Aziz, Adnan and Balarin, Felice and Cheng, Szu-Tsung and Hojati, Ramin and Kam, Timothy and Krishnan, Sriram C. and Ranjan, Rajeev K. and Shiple, Thomas R. and Singhal, Vigyan and Tasiran, Serdar and Wang, Huey-Yih and Brayton, Robert K. and Sangiovanni-Vincentelli, Alberto L.}, biburl = {https://www.bibsonomy.org/bibtex/22be234547102c7b026b8baf26515e4ad/dblp}, booktitle = {DAC}, crossref = {conf/dac/1994}, editor = {Lorenzetti, Michael J.}, ee = {https://doi.org/10.1145/196244.196467}, interhash = {8ab8bbd9897c166fb1d45e310e143da7}, intrahash = {2be234547102c7b026b8baf26515e4ad}, isbn = {0-7803-1836-6}, keywords = {dblp}, pages = {454-459}, publisher = {ACM Press}, timestamp = {2019-05-28T11:41:52.000+0200}, title = {HSIS: A BDD-Based Environment for Formal Verification.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac94.html#AzizBCHKKRSSTWBS94}, year = 1994 }