iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/icse/TianD13.nt
.
.
.
.
"Cong Tian and Zhenhua Duan: Detecting spurious counterexamples efficiently in abstract model checking. (2013)" .
.
_:ID_5db8015b8558f7ab43f0a71480017bea . _:ID_5db8015b8558f7ab43f0a71480017bea
. _:ID_5db8015b8558f7ab43f0a71480017bea
. _:ID_5db8015b8558f7ab43f0a71480017bea
. _:ID_5db8015b8558f7ab43f0a71480017bea
"conf/icse/TianD13" .
_:ID_8c1739d08cdbfc6e7e80245f28599e00 . _:ID_8c1739d08cdbfc6e7e80245f28599e00
. _:ID_8c1739d08cdbfc6e7e80245f28599e00
. _:ID_8c1739d08cdbfc6e7e80245f28599e00
. _:ID_8c1739d08cdbfc6e7e80245f28599e00
"10.1109/ICSE.2013.6606566" .
"Detecting spurious counterexamples efficiently in abstract model checking." .
.
.
.
.
.
"2"^^
.
_:Sig_15b1d1556e95e167fbea770e693e65a6_1 . _:Sig_15b1d1556e95e167fbea770e693e65a6_1
. _:Sig_15b1d1556e95e167fbea770e693e65a6_1
. _:Sig_15b1d1556e95e167fbea770e693e65a6_1
"Cong Tian" . _:Sig_15b1d1556e95e167fbea770e693e65a6_1
. _:Sig_15b1d1556e95e167fbea770e693e65a6_1
"1"^^
. _:Sig_15b1d1556e95e167fbea770e693e65a6_1
.
_:Sig_15b1d1556e95e167fbea770e693e65a6_2 . _:Sig_15b1d1556e95e167fbea770e693e65a6_2
. _:Sig_15b1d1556e95e167fbea770e693e65a6_2
. _:Sig_15b1d1556e95e167fbea770e693e65a6_2
"Zhenhua Duan" . _:Sig_15b1d1556e95e167fbea770e693e65a6_2
. _:Sig_15b1d1556e95e167fbea770e693e65a6_2
"2"^^
. _:Sig_15b1d1556e95e167fbea770e693e65a6_2
.
.
.
.
.
.
.
"202-211" .
"ICSE" .
"ICSE" .
"2013"^^
.
"2013"^^
.
.
"provenance information for RDF data of dblp record 'conf/icse/TianD13'" .
.
.
.
"2023-03-23T23:58:06+0100" .
