%0 Conference Paper %1 conf/iccad/WilkP89 %A Wilk, Asher %A Pnueli, Amir %B ICCAD %D 1989 %I IEEE Computer Society %K dblp %P 460-463 %T Specification and verification of VLSI systems. %U http://dblp.uni-trier.de/db/conf/iccad/iccad1989.html#WilkP89 %@ 0-8186-1986-4

@inproceedings{conf/iccad/WilkP89, added-at = {2023-03-24T00:00:00.000+0100}, author = {Wilk, Asher and Pnueli, Amir}, biburl = {https://www.bibsonomy.org/bibtex/28b9e098185835e77a6ab46b40c9379f5/dblp}, booktitle = {ICCAD}, crossref = {conf/iccad/1989}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICCAD.1989.76991}, interhash = {8a4d8920b9069c4dde7f6b9df69e4cd4}, intrahash = {8b9e098185835e77a6ab46b40c9379f5}, isbn = {0-8186-1986-4}, keywords = {dblp}, pages = {460-463}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:52:21.000+0200}, title = {Specification and verification of VLSI systems.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad1989.html#WilkP89}, year = 1989 }