%0 Conference Paper %1 conf/vlsi/WilseyMS91 %A Wilsey, Philip A. %A McBrayer, Timothy J. %A Sims, David %B VLSI %D 1991 %E Halaas, Arne %E Denyer, Peter B. %I North-Holland %K dblp %P 225-236 %T Towards a Formal Model of VLSI Systems Compativle with VHDL. %U http://dblp.uni-trier.de/db/conf/vlsi/vlsi1991.html#WilseyMS91 %V A-1 %@ 0-444-89019-X

@inproceedings{conf/vlsi/WilseyMS91, added-at = {2019-08-02T00:00:00.000+0200}, author = {Wilsey, Philip A. and McBrayer, Timothy J. and Sims, David}, biburl = {https://www.bibsonomy.org/bibtex/23dbccf049f093e62ff204f1b0bf3ca3f/dblp}, booktitle = {VLSI}, crossref = {conf/vlsi/1991}, editor = {Halaas, Arne and Denyer, Peter B.}, interhash = {25dc33091974246e6d83634f25325a22}, intrahash = {3dbccf049f093e62ff204f1b0bf3ca3f}, isbn = {0-444-89019-X}, keywords = {dblp}, pages = {225-236}, publisher = {North-Holland}, series = {IFIP Transactions}, timestamp = {2019-08-03T11:37:23.000+0200}, title = {Towards a Formal Model of VLSI Systems Compativle with VHDL.}, url = {http://dblp.uni-trier.de/db/conf/vlsi/vlsi1991.html#WilseyMS91}, volume = {A-1}, year = 1991 }