%0 Conference Paper %1 conf/iceccs/ZhuHB06 %A Zhu, Huibiao %A He, Jifeng %A Bowen, Jonathan P. %B ICECCS %D 2006 %I IEEE Computer Society %K %P 139-151 %T From Algebraic Semantics to Denotational Semantics for Verilog. %U http://dblp.uni-trier.de/db/conf/iceccs/iceccs2006.html#ZhuHB06 %@ 0-7695-2530-X

@inproceedings{conf/iceccs/ZhuHB06, added-at = {2023-12-12T20:06:31.000+0100}, author = {Zhu, Huibiao and He, Jifeng and Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/28ac348154012f7eb26ed40746eab873c/admin}, booktitle = {ICECCS}, crossref = {conf/iceccs/2006}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.57}, interhash = {2aa23cd99541c4ea97aed376f34551d0}, intrahash = {8ac348154012f7eb26ed40746eab873c}, isbn = {0-7695-2530-X}, keywords = {}, pages = {139-151}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T20:06:31.000+0100}, title = {From Algebraic Semantics to Denotational Semantics for Verilog.}, url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2006.html#ZhuHB06}, year = 2006 }