Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language.
J. Bowen. IFM, volume 1945 of Lecture Notes in Computer Science, page 277-296. Springer, (2000)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}