direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Verifying the Implementation of an Operating System Scheduler
Citation key Kleine2009a
Author Moritz Kleine and Björn Bartels and Thomas Göthel and Sabine Glesner
Title of Book Proceedings of the 3rd IEEE International Symposium on Theoretical Aspects of Softwar Engineering
Pages pp.285-286
Year 2009
ISBN 978-0-7695-3757-3
DOI http://doi.ieeecomputersociety.org/10.1109/TASE.2009.58
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe