%0 Conference Paper %1 conf/date/RanjanSSB99 %A Ranjan, Rajeev K. %A Singhal, Vigyan %A Somenzi, Fabio %A Brayton, Robert K. %B DATE %D 1999 %I IEEE Computer Society / ACM %K dblp %P 138-144 %T Using Combinational Verification for Sequential Circuits. %U http://dblp.uni-trier.de/db/conf/date/date1999.html#RanjanSSB99 %@ 0-7695-0078-1

@inproceedings{conf/date/RanjanSSB99, added-at = {2023-03-24T00:00:00.000+0100}, author = {Ranjan, Rajeev K. and Singhal, Vigyan and Somenzi, Fabio and Brayton, Robert K.}, biburl = {https://www.bibsonomy.org/bibtex/2e8bb7ce50a30a48ffa91a0dbe4ed3fc9/dblp}, booktitle = {DATE}, crossref = {conf/date/1999}, ee = {https://doi.org/10.1145/307418.307476}, interhash = {ea3cd505eff067a8495277bd00c91cc5}, intrahash = {e8bb7ce50a30a48ffa91a0dbe4ed3fc9}, isbn = {0-7695-0078-1}, keywords = {dblp}, pages = {138-144}, publisher = {IEEE Computer Society / ACM}, timestamp = {2024-04-10T21:22:03.000+0200}, title = {Using Combinational Verification for Sequential Circuits.}, url = {http://dblp.uni-trier.de/db/conf/date/date1999.html#RanjanSSB99}, year = 1999 }