iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/spin/BarnatBS01.nt
.
.
.
.
"Jiri Barnat et al.: Distributed LTL Model-Checking in SPIN. (2001)" .
.
_:ID_445a31558531ab239dca407cff598624 . _:ID_445a31558531ab239dca407cff598624
. _:ID_445a31558531ab239dca407cff598624
. _:ID_445a31558531ab239dca407cff598624
. _:ID_445a31558531ab239dca407cff598624
"conf/spin/BarnatBS01" .
_:ID_605d64271be2a8a007a2964ff2c0095a . _:ID_605d64271be2a8a007a2964ff2c0095a
. _:ID_605d64271be2a8a007a2964ff2c0095a
. _:ID_605d64271be2a8a007a2964ff2c0095a
. _:ID_605d64271be2a8a007a2964ff2c0095a
"10.1007/3-540-45139-0_13" .
"Distributed LTL Model-Checking in SPIN." .
.
.
.
.
.
.
.
"3"^^
.
_:Sig_612501fa27f4ce67ba951121a21ca968_1 . _:Sig_612501fa27f4ce67ba951121a21ca968_1
. _:Sig_612501fa27f4ce67ba951121a21ca968_1
. _:Sig_612501fa27f4ce67ba951121a21ca968_1
"Jiri Barnat" . _:Sig_612501fa27f4ce67ba951121a21ca968_1
. _:Sig_612501fa27f4ce67ba951121a21ca968_1
"1"^^
. _:Sig_612501fa27f4ce67ba951121a21ca968_1
.
_:Sig_612501fa27f4ce67ba951121a21ca968_2 . _:Sig_612501fa27f4ce67ba951121a21ca968_2
. _:Sig_612501fa27f4ce67ba951121a21ca968_2
. _:Sig_612501fa27f4ce67ba951121a21ca968_2
"Lubos Brim" . _:Sig_612501fa27f4ce67ba951121a21ca968_2
. _:Sig_612501fa27f4ce67ba951121a21ca968_2
"2"^^
. _:Sig_612501fa27f4ce67ba951121a21ca968_2
.
_:Sig_612501fa27f4ce67ba951121a21ca968_3 . _:Sig_612501fa27f4ce67ba951121a21ca968_3
. _:Sig_612501fa27f4ce67ba951121a21ca968_3
. _:Sig_612501fa27f4ce67ba951121a21ca968_3
"Jitka Str\u00EDbrn\u00E1" . _:Sig_612501fa27f4ce67ba951121a21ca968_3
. _:Sig_612501fa27f4ce67ba951121a21ca968_3
"3"^^
. _:Sig_612501fa27f4ce67ba951121a21ca968_3
.
.
.
.
.
.
"200-216" .
"SPIN" .
"SPIN" .
"2001"^^
.
"2001"^^
.
.
"provenance information for RDF data of dblp record 'conf/spin/BarnatBS01'" .
.
.
.
"2022-06-02T12:34:50+0200" .
