iBet uBet web content aggregator. Adding the entire web to your favor.
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.rdf
Xiaoyu Zhou and Jianhua Zhao: An Overtime-Detection Model-Checking Technique for Interrupt Processing Systems. (2012) conf/isctcs/ZhouZ12 10.1007/978-3-642-35795-4_61 An Overtime-Detection Model-Checking Technique for Interrupt Processing Systems. 2 Xiaoyu Zhou 1 Jianhua Zhao 2 482-489 ISCTCS ISCTCS 2012 2013 provenance information for RDF data of dblp record 'conf/isctcs/ZhouZ12' 2018-06-29T13:56:29+0200