iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.dagstuhl.de/rec/conf/fsdm/PuZ17.nt
.
.
.
.
.
"Fei Pu and Wenhui Zhang: Bounded Correctness Checking of the Universal Fragment of eCTL. (2017)" .
.
_:ID_7d8e0e7fe8f9c46cf745ab75769e382b . _:ID_7d8e0e7fe8f9c46cf745ab75769e382b
. _:ID_7d8e0e7fe8f9c46cf745ab75769e382b
. _:ID_7d8e0e7fe8f9c46cf745ab75769e382b
. _:ID_7d8e0e7fe8f9c46cf745ab75769e382b
"conf/fsdm/PuZ17" .
_:ID_1097dbf64c19baafc638e36b146f0366 . _:ID_1097dbf64c19baafc638e36b146f0366
. _:ID_1097dbf64c19baafc638e36b146f0366
. _:ID_1097dbf64c19baafc638e36b146f0366
. _:ID_1097dbf64c19baafc638e36b146f0366
"10.3233/978-1-61499-828-0-326" .
"Bounded Correctness Checking of the Universal Fragment of eCTL." .
.
.
.
.
.
"2"^^
.
_:Sig_aa377d7c91b6cc2823ef1a721f5b3fe7_1 . _:Sig_aa377d7c91b6cc2823ef1a721f5b3fe7_1
. _:Sig_aa377d7c91b6cc2823ef1a721f5b3fe7_1
. _:Sig_aa377d7c91b6cc2823ef1a721f5b3fe7_1
"Fei Pu" . _:Sig_aa377d7c91b6cc2823ef1a721f5b3fe7_1
. _:Sig_aa377d7c91b6cc2823ef1a721f5b3fe7_1
"1"^^
. _:Sig_aa377d7c91b6cc2823ef1a721f5b3fe7_1
.
_:Sig_aa377d7c91b6cc2823ef1a721f5b3fe7_2 . _:Sig_aa377d7c91b6cc2823ef1a721f5b3fe7_2
. _:Sig_aa377d7c91b6cc2823ef1a721f5b3fe7_2
. _:Sig_aa377d7c91b6cc2823ef1a721f5b3fe7_2
"Wenhui Zhang" . _:Sig_aa377d7c91b6cc2823ef1a721f5b3fe7_2
. _:Sig_aa377d7c91b6cc2823ef1a721f5b3fe7_2
"2"^^
. _:Sig_aa377d7c91b6cc2823ef1a721f5b3fe7_2
.
.
.
.
.
"326-333" .
"FSDM" .
"FSDM" .
"2017"^^
.
"2017"^^
.
.
"provenance information for RDF data of dblp record 'conf/fsdm/PuZ17'" .
.
.
.
"2017-12-08T15:38:02+0100" .
