%0 Conference Paper %1 conf/iccd/HojatiKB96 %A Hojati, Ramin %A Krishnan, Sriram C. %A Brayton, Robert K. %B ICCD %D 1996 %I IEEE Computer Society %K dblp %P 12-19 %T Early Quantification and Partitioned Transition Relations. %U http://dblp.uni-trier.de/db/conf/iccd/iccd1996.html#HojatiKB96 %@ 0-8186-7554-3

@inproceedings{conf/iccd/HojatiKB96, added-at = {2023-03-23T00:00:00.000+0100}, author = {Hojati, Ramin and Krishnan, Sriram C. and Brayton, Robert K.}, biburl = {https://www.bibsonomy.org/bibtex/2379802b978dd510981e78ce1e6afb466/dblp}, booktitle = {ICCD}, crossref = {conf/iccd/1996}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICCD.1996.563525}, interhash = {b550ac32af8f0423616db0a857b7b0d1}, intrahash = {379802b978dd510981e78ce1e6afb466}, isbn = {0-8186-7554-3}, keywords = {dblp}, pages = {12-19}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T21:59:17.000+0200}, title = {Early Quantification and Partitioned Transition Relations.}, url = {http://dblp.uni-trier.de/db/conf/iccd/iccd1996.html#HojatiKB96}, year = 1996 }