Asher Wilk, Amir Pnueli. Specification and verification of VLSI systems. In 1989 IEEE International Conference on Computer-Aided Design, ICCAD 1989, Santa Clara, CA, USA, November 5-9, 1989. Digest of Technical Papers. pages 460-463, IEEE, 1989. [doi]
@inproceedings{WilkP89, title = {Specification and verification of VLSI systems}, author = {Asher Wilk and Amir Pnueli}, year = {1989}, doi = {10.1109/ICCAD.1989.76991}, url = {http://dx.doi.org/10.1109/ICCAD.1989.76991}, researchr = {https://researchr.org/publication/WilkP89}, cites = {0}, citedby = {0}, pages = {460-463}, booktitle = {1989 IEEE International Conference on Computer-Aided Design, ICCAD 1989, Santa Clara, CA, USA, November 5-9, 1989. Digest of Technical Papers}, publisher = {IEEE}, isbn = {0-8186-1986-4}, }