TY  - BOOK
AU  - Iain D.Graig
TI  - Formal models of Operating System
SN  - 0000104387
U1  - 1.6424 
PY  - 2007///
CY  - Germany
PB  - Springer
KW  -  Kernels
KW  -  models
KW  -  Operating
KW  -  System
KW  - Formal
KW  - Operating Systems
ER  -