%0 Conference Paper %1 conf/icica/Gong12a %B ICICA (1) %D 2012 %E Liu, Chunfeng %E Wang, Leizhen %E Yang, Aimin %I Springer %K dblp %T Erratum: Modeling and Verifying the Kernel of RTOS. %U http://dblp.uni-trier.de/db/conf/icica/icica2012-1.html#Gong12a %V 307 %@ 978-3-642-34037-6

@inproceedings{conf/icica/Gong12a, added-at = {2017-02-24T00:00:00.000+0100}, biburl = {https://www.bibsonomy.org/bibtex/22d5f37679fde91d99c8445e7a246ad65/dblp}, booktitle = {ICICA (1)}, crossref = {conf/icica/2012-1}, editor = {Liu, Chunfeng and Wang, Leizhen and Yang, Aimin}, ee = {http://dx.doi.org/10.1007/978-3-642-34038-3_116}, interhash = {8d61e82494f480886cf9b733e4c203df}, intrahash = {2d5f37679fde91d99c8445e7a246ad65}, isbn = {978-3-642-34037-6}, keywords = {dblp}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2017-02-25T11:34:35.000+0100}, title = {Erratum: Modeling and Verifying the Kernel of RTOS.}, url = {http://dblp.uni-trier.de/db/conf/icica/icica2012-1.html#Gong12a}, volume = 307, year = 2012 }