iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/ssiri/ZhuZLG11.nt
. . . . "Han Zhu et al.: Towards Denotational Semantics for Verilog in PVS. (2011)" . . _:ID_e575c26d9e8f7787c56afe83e43bcc46 . _:ID_e575c26d9e8f7787c56afe83e43bcc46 . _:ID_e575c26d9e8f7787c56afe83e43bcc46 . _:ID_e575c26d9e8f7787c56afe83e43bcc46 . _:ID_e575c26d9e8f7787c56afe83e43bcc46 "conf/ssiri/ZhuZLG11" . _:ID_a8dcc8166cd64acadf8fb1636d242c08 . _:ID_a8dcc8166cd64acadf8fb1636d242c08 . _:ID_a8dcc8166cd64acadf8fb1636d242c08 . _:ID_a8dcc8166cd64acadf8fb1636d242c08 . _:ID_a8dcc8166cd64acadf8fb1636d242c08 "10.1109/SSIRI-C.2011.10" . "Towards Denotational Semantics for Verilog in PVS." . . . . . . . . . . "4"^^ . _:Sig_83c4e9bdc27b434363ba25d408279802_1 . _:Sig_83c4e9bdc27b434363ba25d408279802_1 . _:Sig_83c4e9bdc27b434363ba25d408279802_1 . _:Sig_83c4e9bdc27b434363ba25d408279802_1 "Han Zhu" . _:Sig_83c4e9bdc27b434363ba25d408279802_1 . _:Sig_83c4e9bdc27b434363ba25d408279802_1 "1"^^ . _:Sig_83c4e9bdc27b434363ba25d408279802_1 . _:Sig_83c4e9bdc27b434363ba25d408279802_2 . _:Sig_83c4e9bdc27b434363ba25d408279802_2 . _:Sig_83c4e9bdc27b434363ba25d408279802_2 . _:Sig_83c4e9bdc27b434363ba25d408279802_2 "Huibiao Zhu" . _:Sig_83c4e9bdc27b434363ba25d408279802_2 . _:Sig_83c4e9bdc27b434363ba25d408279802_2 "2"^^ . _:Sig_83c4e9bdc27b434363ba25d408279802_2 . _:Sig_83c4e9bdc27b434363ba25d408279802_3 . _:Sig_83c4e9bdc27b434363ba25d408279802_3 . _:Sig_83c4e9bdc27b434363ba25d408279802_3 . _:Sig_83c4e9bdc27b434363ba25d408279802_3 "Si Liu 0003" . _:Sig_83c4e9bdc27b434363ba25d408279802_3 . _:Sig_83c4e9bdc27b434363ba25d408279802_3 . _:Sig_83c4e9bdc27b434363ba25d408279802_3 "3"^^ . _:Sig_83c4e9bdc27b434363ba25d408279802_3 . _:Sig_83c4e9bdc27b434363ba25d408279802_4 . _:Sig_83c4e9bdc27b434363ba25d408279802_4 . _:Sig_83c4e9bdc27b434363ba25d408279802_4 . _:Sig_83c4e9bdc27b434363ba25d408279802_4 "Jian Guo 0005" . _:Sig_83c4e9bdc27b434363ba25d408279802_4 . _:Sig_83c4e9bdc27b434363ba25d408279802_4 "4"^^ . _:Sig_83c4e9bdc27b434363ba25d408279802_4 . . . . . . "1-2" . "SSIRI (Companion)" . "SSIRI (Companion)" . "2011"^^ . "2011"^^ . . "provenance information for RDF data of dblp record 'conf/ssiri/ZhuZLG11'" . . . . "2024-08-16T14:50:31+0200" .