%0 Conference Paper %1 conf/iccad/NowickD89 %A Nowick, Steven M. %A Dill, David L. %B ICCAD %D 1989 %I IEEE Computer Society %K dblp %P 266-269 %T Practicality of state-machine verification of speed-independent circuits. %U http://dblp.uni-trier.de/db/conf/iccad/iccad1989.html#NowickD89 %@ 0-8186-1986-4

@inproceedings{conf/iccad/NowickD89, added-at = {2023-03-24T00:00:00.000+0100}, author = {Nowick, Steven M. and Dill, David L.}, biburl = {https://www.bibsonomy.org/bibtex/2d6aede8ed0d3aa6cad7514cd1be65791/dblp}, booktitle = {ICCAD}, crossref = {conf/iccad/1989}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICCAD.1989.76950}, interhash = {90e85622e66b9461d51f666f28a0b21a}, intrahash = {d6aede8ed0d3aa6cad7514cd1be65791}, isbn = {0-8186-1986-4}, keywords = {dblp}, pages = {266-269}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:52:21.000+0200}, title = {Practicality of state-machine verification of speed-independent circuits.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad1989.html#NowickD89}, year = 1989 }