%0 Conference Paper %1 conf/icfem/HuibiaoBH02 %A Zhu, Huibiao %A Bowen, Jonathan P. %A He, Jifeng %B ICFEM %D 2002 %E George, Chris %E Miao, Huaikou %I Springer %K Verilog completeness denotational formal methods myown non-redundancy operational semantics soundness %P 600-612 %T Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2002.html#HuibiaoBH02 %V 2495 %@ 3-540-00029-1

@inproceedings{conf/icfem/HuibiaoBH02, added-at = {2011-08-01T19:21:03.000+0200}, author = {Zhu, Huibiao and Bowen, Jonathan P. and He, Jifeng}, biburl = {https://www.bibsonomy.org/bibtex/2321bb8d115f7ead441b5473f78b4da06/jpbowen}, booktitle = {ICFEM}, crossref = {conf/icfem/2002}, editor = {George, Chris and Miao, Huaikou}, ee = {http://dx.doi.org/10.1007/3-540-36103-0_61}, interhash = {b0614b5131580e9e9d8581b83cd76af4}, intrahash = {321bb8d115f7ead441b5473f78b4da06}, isbn = {3-540-00029-1}, keywords = {Verilog completeness denotational formal methods myown non-redundancy operational semantics soundness}, pages = {600-612}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2011-08-01T21:49:11.000+0200}, title = {Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2002.html#HuibiaoBH02}, volume = 2495, year = 2002 }