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