%0 Conference Paper %1 conf/ifm/Bowen00 %A Bowen, Jonathan P. %B IFM %D 2000 %E Grieskamp, Wolfgang %E Santen, Thomas %E Stoddart, Bill %I Springer %K dblp %P 277-296 %T Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2000.html#Bowen00 %V 1945 %@ 3-540-41196-8

@inproceedings{conf/ifm/Bowen00, added-at = {2019-09-25T00:00:00.000+0200}, author = {Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/28d1aceba7e088df33daffe528eeaadb4/dblp}, booktitle = {IFM}, crossref = {conf/ifm/2000}, editor = {Grieskamp, Wolfgang and Santen, Thomas and Stoddart, Bill}, ee = {https://www.wikidata.org/entity/Q60719276}, interhash = {d1ac798fe3190bd6a5e15a2368962f3b}, intrahash = {8d1aceba7e088df33daffe528eeaadb4}, isbn = {3-540-41196-8}, keywords = {dblp}, pages = {277-296}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-26T14:19:57.000+0200}, title = {Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2000.html#Bowen00}, volume = 1945, year = 2000 }