%0 Conference Paper %1 conf/sefm/DaumSS09 %A Daum, Matthias %A Schirmer, Norbert %A Schmidt, Mareike %B SEFM %D 2009 %E Hung, Dang Van %E Krishnan, Padmanabhan %I IEEE Computer Society %K dblp %P 23-32 %T Implementation Correctness of a Real-Time Operating System. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2009.html#DaumSS09 %@ 978-0-7695-3870-9

@inproceedings{conf/sefm/DaumSS09, added-at = {2023-03-24T00:00:00.000+0100}, author = {Daum, Matthias and Schirmer, Norbert and Schmidt, Mareike}, biburl = {https://www.bibsonomy.org/bibtex/2d9a1af8563414a19f042d6de74274448/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2009}, editor = {Hung, Dang Van and Krishnan, Padmanabhan}, ee = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2009.14}, interhash = {51c22661e8bcd7089a939c191a6be210}, intrahash = {d9a1af8563414a19f042d6de74274448}, isbn = {978-0-7695-3870-9}, keywords = {dblp}, pages = {23-32}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:21:26.000+0200}, title = {Implementation Correctness of a Real-Time Operating System.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2009.html#DaumSS09}, year = 2009 }