iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/aips/SeippH13.nt
.
.
"Jendrik Seipp and Malte Helmert: Counterexample-Guided Cartesian Abstraction Refinement. (2013)" .
_:ID_0f9f502979e453cd5d491357ad9bdf4e . _:ID_0f9f502979e453cd5d491357ad9bdf4e
. _:ID_0f9f502979e453cd5d491357ad9bdf4e
. _:ID_0f9f502979e453cd5d491357ad9bdf4e
. _:ID_0f9f502979e453cd5d491357ad9bdf4e
"conf/aips/SeippH13" .
"Counterexample-Guided Cartesian Abstraction Refinement." .
.
.
.
.
.
"2"^^
.
_:Sig_261367e6c99dd91173bd2b14fd556492_1 . _:Sig_261367e6c99dd91173bd2b14fd556492_1
. _:Sig_261367e6c99dd91173bd2b14fd556492_1
. _:Sig_261367e6c99dd91173bd2b14fd556492_1
"Jendrik Seipp" . _:Sig_261367e6c99dd91173bd2b14fd556492_1
. _:Sig_261367e6c99dd91173bd2b14fd556492_1
"1"^^
. _:Sig_261367e6c99dd91173bd2b14fd556492_1
.
_:Sig_261367e6c99dd91173bd2b14fd556492_2 . _:Sig_261367e6c99dd91173bd2b14fd556492_2
. _:Sig_261367e6c99dd91173bd2b14fd556492_2
. _:Sig_261367e6c99dd91173bd2b14fd556492_2
"Malte Helmert" . _:Sig_261367e6c99dd91173bd2b14fd556492_2
. _:Sig_261367e6c99dd91173bd2b14fd556492_2
"2"^^
. _:Sig_261367e6c99dd91173bd2b14fd556492_2
.
.
.
.
.
"ICAPS" .
"ICAPS" .
"2013"^^
.
"2013"^^
.
.
"provenance information for RDF data of dblp record 'conf/aips/SeippH13'" .
.
.
.
"2013-08-21T12:31:52+0200" .
