%0 Journal Article %1 journals/jar/KleinHS09 %A Klein, Gerwin %A Huuck, Ralf %A Schlich, Bastian %D 2009 %J J. Autom. Reason. %K %N 2-4 %P 123-124 %T Operating System Verification. %U http://dblp.uni-trier.de/db/journals/jar/jar42.html#KleinHS09 %V 42

@article{journals/jar/KleinHS09, added-at = {2023-12-12T19:25:48.000+0100}, author = {Klein, Gerwin and Huuck, Ralf and Schlich, Bastian}, biburl = {https://www.bibsonomy.org/bibtex/2d07d7c1f955625828b7e6e7eca923521/admin}, ee = {https://doi.org/10.1007/s10817-009-9126-9}, interhash = {209593507de133ee630bff5991bdd902}, intrahash = {d07d7c1f955625828b7e6e7eca923521}, journal = {J. Autom. Reason.}, keywords = {}, number = {2-4}, pages = {123-124}, timestamp = {2023-12-12T19:25:48.000+0100}, title = {Operating System Verification.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar42.html#KleinHS09}, volume = 42, year = 2009 }