iBet uBet
web content aggregator. Adding the entire web to your favor.
Link to original content:
https://dblp.uni-trier.de/rec/conf/isctcs/ZhouZ12.nt
.
.
.
.
.
"Xiaoyu Zhou and Jianhua Zhao: An Overtime-Detection Model-Checking Technique for Interrupt Processing Systems. (2012)" .
.
_:ID_c1d4ab2363abb64da1c9e739a9580b0c . _:ID_c1d4ab2363abb64da1c9e739a9580b0c
. _:ID_c1d4ab2363abb64da1c9e739a9580b0c
. _:ID_c1d4ab2363abb64da1c9e739a9580b0c
. _:ID_c1d4ab2363abb64da1c9e739a9580b0c
"conf/isctcs/ZhouZ12" .
_:ID_853bb0cc31f28990d4c5b699ab04936c . _:ID_853bb0cc31f28990d4c5b699ab04936c
. _:ID_853bb0cc31f28990d4c5b699ab04936c
. _:ID_853bb0cc31f28990d4c5b699ab04936c
. _:ID_853bb0cc31f28990d4c5b699ab04936c
"10.1007/978-3-642-35795-4_61" .
"An Overtime-Detection Model-Checking Technique for Interrupt Processing Systems." .
.
.
.
.
.
"2"^^
.
_:Sig_6023d2738797820940190e89cd43d6c8_1 . _:Sig_6023d2738797820940190e89cd43d6c8_1
. _:Sig_6023d2738797820940190e89cd43d6c8_1
. _:Sig_6023d2738797820940190e89cd43d6c8_1
"Xiaoyu Zhou" . _:Sig_6023d2738797820940190e89cd43d6c8_1
. _:Sig_6023d2738797820940190e89cd43d6c8_1
"1"^^
. _:Sig_6023d2738797820940190e89cd43d6c8_1
.
_:Sig_6023d2738797820940190e89cd43d6c8_2 . _:Sig_6023d2738797820940190e89cd43d6c8_2
. _:Sig_6023d2738797820940190e89cd43d6c8_2
. _:Sig_6023d2738797820940190e89cd43d6c8_2
"Jianhua Zhao" . _:Sig_6023d2738797820940190e89cd43d6c8_2
. _:Sig_6023d2738797820940190e89cd43d6c8_2
"2"^^
. _:Sig_6023d2738797820940190e89cd43d6c8_2
.
.
.
.
.
"482-489" .
"ISCTCS" .
"ISCTCS" .
"2012"^^
.
"2013"^^
.
.
"provenance information for RDF data of dblp record 'conf/isctcs/ZhouZ12'" .
.
.
.
"2018-06-29T13:56:29+0200" .
