iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.uni-trier.de/rec/conf/cav/EdelkampSS08.nt
.
.
.
.
.
"Stefan Edelkamp et al.: Semi-external LTL Model Checking. (2008)" .
.
_:ID_925ce462ac175c68a418194196e741a7 . _:ID_925ce462ac175c68a418194196e741a7
. _:ID_925ce462ac175c68a418194196e741a7
. _:ID_925ce462ac175c68a418194196e741a7
. _:ID_925ce462ac175c68a418194196e741a7
"conf/cav/EdelkampSS08" .
_:ID_a9f7fca7bf22be2bf84f53a3b1c85ecd . _:ID_a9f7fca7bf22be2bf84f53a3b1c85ecd
. _:ID_a9f7fca7bf22be2bf84f53a3b1c85ecd
. _:ID_a9f7fca7bf22be2bf84f53a3b1c85ecd
. _:ID_a9f7fca7bf22be2bf84f53a3b1c85ecd
"10.1007/978-3-540-70545-1_50" .
"Semi-external LTL Model Checking." .
.
.
.
.
.
.
.
"3"^^
.
_:Sig_78eadfa9dd610a248aa61488c830ef63_1 . _:Sig_78eadfa9dd610a248aa61488c830ef63_1
. _:Sig_78eadfa9dd610a248aa61488c830ef63_1
. _:Sig_78eadfa9dd610a248aa61488c830ef63_1
"Stefan Edelkamp" . _:Sig_78eadfa9dd610a248aa61488c830ef63_1
. _:Sig_78eadfa9dd610a248aa61488c830ef63_1
"1"^^
. _:Sig_78eadfa9dd610a248aa61488c830ef63_1
.
_:Sig_78eadfa9dd610a248aa61488c830ef63_2 . _:Sig_78eadfa9dd610a248aa61488c830ef63_2
. _:Sig_78eadfa9dd610a248aa61488c830ef63_2
. _:Sig_78eadfa9dd610a248aa61488c830ef63_2
"Peter Sanders 0001" . _:Sig_78eadfa9dd610a248aa61488c830ef63_2
. _:Sig_78eadfa9dd610a248aa61488c830ef63_2
"2"^^
. _:Sig_78eadfa9dd610a248aa61488c830ef63_2
.
_:Sig_78eadfa9dd610a248aa61488c830ef63_3 . _:Sig_78eadfa9dd610a248aa61488c830ef63_3
. _:Sig_78eadfa9dd610a248aa61488c830ef63_3
. _:Sig_78eadfa9dd610a248aa61488c830ef63_3
"Pavel Simecek" . _:Sig_78eadfa9dd610a248aa61488c830ef63_3
. _:Sig_78eadfa9dd610a248aa61488c830ef63_3
"3"^^
. _:Sig_78eadfa9dd610a248aa61488c830ef63_3
.
.
.
.
.
"530-542" .
"CAV" .
"CAV" .
"2008"^^
.
"2008"^^
.
.
"provenance information for RDF data of dblp record 'conf/cav/EdelkampSS08'" .
.
.
.
"2018-10-03T12:55:00+0200" .
