%0 Conference Paper %1 conf/apsec/ZhuBH01 %A Zhu, Huibiao %A Bowen, Jonathan P. %A He, Jifeng %B APSEC %D 2001 %I IEEE Computer Society %K %P 177- %T Deriving Operational Semantics from Denotational Semantics for Verilog. %U http://dblp.uni-trier.de/db/conf/apsec/apsec2001.html#ZhuBH01 %@ 0-7695-1408-1

@inproceedings{conf/apsec/ZhuBH01, added-at = {2023-12-13T07:47:57.000+0100}, author = {Zhu, Huibiao and Bowen, Jonathan P. and He, Jifeng}, biburl = {https://www.bibsonomy.org/bibtex/200d8a5b7cab7f0fdde24e8ac77da41ad/admin}, booktitle = {APSEC}, crossref = {conf/apsec/2001}, ee = {https://www.wikidata.org/entity/Q60719270}, interhash = {bd5e4ede0c09c5e1aea9318af6fb25f2}, intrahash = {00d8a5b7cab7f0fdde24e8ac77da41ad}, isbn = {0-7695-1408-1}, keywords = {}, pages = {177-}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T07:47:57.000+0100}, title = {Deriving Operational Semantics from Denotational Semantics for Verilog.}, url = {http://dblp.uni-trier.de/db/conf/apsec/apsec2001.html#ZhuBH01}, year = 2001 }