direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Verifying the Implementation of an Operating System Scheduler
Zitatschlüssel Kleine2009a
Autor Moritz Kleine and Björn Bartels and Thomas Göthel and Sabine Glesner
Buchtitel Proceedings of the 3rd IEEE International Symposium on Theoretical Aspects of Softwar Engineering
Seiten pp.285-286
Jahr 2009
ISBN 978-0-7695-3757-3
DOI http://doi.ieeecomputersociety.org/10.1109/TASE.2009.58
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe