%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 Description HDL Hardware Language Verilog animation formal literate logic methods myown operational programming semantics specification %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 = {2011-08-02T00:51:19.000+0200}, author = {Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/28d1aceba7e088df33daffe528eeaadb4/jpbowen}, booktitle = {IFM}, crossref = {conf/ifm/2000}, description = {dblp}, editor = {Grieskamp, Wolfgang and Santen, Thomas and Stoddart, Bill}, ee = {http://link.springer.de/link/service/series/0558/bibs/1945/19450277.htm}, interhash = {d1ac798fe3190bd6a5e15a2368962f3b}, intrahash = {8d1aceba7e088df33daffe528eeaadb4}, isbn = {3-540-41196-8}, keywords = {Description HDL Hardware Language Verilog animation formal literate logic methods myown operational programming semantics specification}, pages = {277-296}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2011-08-02T00:51:19.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 }