Exzellenzportal der Leibnizpreisträger der Deutschen Forschungsgemeinschaft
Homepage
Search
Project
Participating prize winners
Partners
Subject Areas
Contact
Help
Imprint
Privacy Policy
Accessibility
A
A
A
Back to result list
Search within document
On the correctness of operating system kernels
Author / Editor
: Gargano, Mauro ; Paul, Wolfgang J.
Place of publication
: Berlin [u.a.] |
Year of Publication
: 2005 |
Publisher
: Springer
Call number
: Bibliothek der TU München 0102/DAT 001z 2001 A 999-3603#S.1-16
[Search within document]
[PDF-Download]
50%
100%
150%
-10
-5
-1
Scan
+1
+5
+10
50%
100%
150%
-10
-5
-1
Scan
+1
+5
+10