iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.org/rec/conf/ftscs/ZhangAC14.nt
.
.
.
.
"Haitao Zhang et al.: A Spin-Based Approach for Checking OSEK/VDX Applications. (2014)" .
.
_:ID_b40f11692b9c898d0d7f2090a5c4648e . _:ID_b40f11692b9c898d0d7f2090a5c4648e
. _:ID_b40f11692b9c898d0d7f2090a5c4648e
. _:ID_b40f11692b9c898d0d7f2090a5c4648e
. _:ID_b40f11692b9c898d0d7f2090a5c4648e
"conf/ftscs/ZhangAC14" .
_:ID_d012443ac24d870a9b6a378bdd1a6e7c . _:ID_d012443ac24d870a9b6a378bdd1a6e7c
. _:ID_d012443ac24d870a9b6a378bdd1a6e7c
. _:ID_d012443ac24d870a9b6a378bdd1a6e7c
. _:ID_d012443ac24d870a9b6a378bdd1a6e7c
"10.1007/978-3-319-17581-2_16" .
"A Spin-Based Approach for Checking OSEK/VDX Applications." .
.
.
.
.
.
.
.
"3"^^
.
_:Sig_d0d9e20dce5facd12a49f135488787d2_1 . _:Sig_d0d9e20dce5facd12a49f135488787d2_1
. _:Sig_d0d9e20dce5facd12a49f135488787d2_1
. _:Sig_d0d9e20dce5facd12a49f135488787d2_1
"Haitao Zhang" . _:Sig_d0d9e20dce5facd12a49f135488787d2_1
. _:Sig_d0d9e20dce5facd12a49f135488787d2_1
"1"^^
. _:Sig_d0d9e20dce5facd12a49f135488787d2_1
.
_:Sig_d0d9e20dce5facd12a49f135488787d2_2 . _:Sig_d0d9e20dce5facd12a49f135488787d2_2
. _:Sig_d0d9e20dce5facd12a49f135488787d2_2
. _:Sig_d0d9e20dce5facd12a49f135488787d2_2
"Toshiaki Aoki" . _:Sig_d0d9e20dce5facd12a49f135488787d2_2
. _:Sig_d0d9e20dce5facd12a49f135488787d2_2
. _:Sig_d0d9e20dce5facd12a49f135488787d2_2
"2"^^
. _:Sig_d0d9e20dce5facd12a49f135488787d2_2
.
_:Sig_d0d9e20dce5facd12a49f135488787d2_3 . _:Sig_d0d9e20dce5facd12a49f135488787d2_3
. _:Sig_d0d9e20dce5facd12a49f135488787d2_3
. _:Sig_d0d9e20dce5facd12a49f135488787d2_3
"Yuki Chiba" . _:Sig_d0d9e20dce5facd12a49f135488787d2_3
. _:Sig_d0d9e20dce5facd12a49f135488787d2_3
"3"^^
. _:Sig_d0d9e20dce5facd12a49f135488787d2_3
.
.
.
.
.
"239-255" .
"FTSCS" .
"FTSCS" .
"2014"^^
.
"2015"^^
.
.
"provenance information for RDF data of dblp record 'conf/ftscs/ZhangAC14'" .
.
.
.
"2022-12-07T23:14:08+0100" .
