%0 Conference Paper %1 conf/tase/KleineBGG09 %A Kleine, Moritz %A Bartels, Björn %A Göthel, Thomas %A Glesner, Sabine %B TASE %D 2009 %E Chin, Wei-Ngan %E Qin, Shengchao %I IEEE Computer Society %K %P 285-286 %T Verifying the Implementation of an Operating System Scheduler. %U http://dblp.uni-trier.de/db/conf/tase/tase2009.html#KleineBGG09 %@ 978-0-7695-3757-3

@inproceedings{conf/tase/KleineBGG09, added-at = {2023-12-13T04:44:18.000+0100}, author = {Kleine, Moritz and Bartels, Björn and Göthel, Thomas and Glesner, Sabine}, biburl = {https://www.bibsonomy.org/bibtex/2bea5a9b98cdd55af47da08d171ce5776/admin}, booktitle = {TASE}, crossref = {conf/tase/2009}, editor = {Chin, Wei-Ngan and Qin, Shengchao}, ee = {http://doi.ieeecomputersociety.org/10.1109/TASE.2009.58}, interhash = {99b3c8fa4711716afcf4860cf3caba99}, intrahash = {bea5a9b98cdd55af47da08d171ce5776}, isbn = {978-0-7695-3757-3}, keywords = {}, pages = {285-286}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T04:44:18.000+0100}, title = {Verifying the Implementation of an Operating System Scheduler.}, url = {http://dblp.uni-trier.de/db/conf/tase/tase2009.html#KleineBGG09}, year = 2009 }