%0 Conference Paper %1 conf/chdl/Davis93 %A Davis, Karen C. %B CHDL %D 1993 %E Agnew, David %E Claesen, Luc J. M. %E Camposano, Raul %I North-Holland %K dblp %P 523-535 %T A Denotational Definition of the VHDL Simulation Kernel. %U http://dblp.uni-trier.de/db/conf/chdl/chdl1993.html#Davis93 %V A-32 %@ 0-444-81641-0

@inproceedings{conf/chdl/Davis93, added-at = {2002-01-03T00:00:00.000+0100}, author = {Davis, Karen C.}, biburl = {https://www.bibsonomy.org/bibtex/26edd17316960934953a3a0bb965bf589/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 = {9bc02a9b2fd81b9a7bb626ababd0c71c}, intrahash = {6edd17316960934953a3a0bb965bf589}, isbn = {0-444-81641-0}, keywords = {dblp}, pages = {523-535}, publisher = {North-Holland}, series = {IFIP Transactions}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {A Denotational Definition of the VHDL Simulation Kernel.}, url = {http://dblp.uni-trier.de/db/conf/chdl/chdl1993.html#Davis93}, volume = {A-32}, year = 1993 }