%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 %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 = {2023-12-13T06:40:46.000+0100}, author = {Zhu, Huibiao and Bowen, Jonathan P. and He, Jifeng}, biburl = {https://www.bibsonomy.org/bibtex/2321bb8d115f7ead441b5473f78b4da06/admin}, booktitle = {ICFEM}, crossref = {conf/icfem/2002}, editor = {George, Chris and Miao, Huaikou}, ee = {https://www.wikidata.org/entity/Q56939911}, interhash = {b0614b5131580e9e9d8581b83cd76af4}, intrahash = {321bb8d115f7ead441b5473f78b4da06}, isbn = {3-540-00029-1}, keywords = {}, pages = {600-612}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T06:40:46.000+0100}, 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 }