%0 Conference Paper %1 conf/chdl/Clarke93 %A Clarke, Edmund M. %B CHDL %D 1993 %E Agnew, David %E Claesen, Luc J. M. %E Camposano, Raul %I North-Holland %K dblp %P 165 %T Automatic Verification of Sequential Circuit Designs. %U http://dblp.uni-trier.de/db/conf/chdl/chdl1993.html#Clarke93 %V A-32 %@ 0-444-81641-0

@inproceedings{conf/chdl/Clarke93, added-at = {2002-01-03T00:00:00.000+0100}, author = {Clarke, Edmund M.}, biburl = {https://www.bibsonomy.org/bibtex/2a6cbd343b0333239d09d6e9f3b5b4e57/dblp}, booktitle = {CHDL}, crossref = {conf/chdl/1993}, date = {2002-01-03}, description = {dblp}, editor = {Agnew, David and Claesen, Luc J. M. and Camposano, Raul}, interhash = {9cc27ae611dc9eefcf723b4c0c08c175}, intrahash = {a6cbd343b0333239d09d6e9f3b5b4e57}, isbn = {0-444-81641-0}, keywords = {dblp}, pages = 165, publisher = {North-Holland}, series = {IFIP Transactions}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {Automatic Verification of Sequential Circuit Designs.}, url = {http://dblp.uni-trier.de/db/conf/chdl/chdl1993.html#Clarke93}, volume = {A-32}, year = 1993 }