Proving Separation for a Working Microkernel Implementation
Name | Value |
|---|
| Creation Date | Wed Apr 19 08:05:36 2006 |
| Creator | Impress |
| Encrypted | no |
| File size | 440419 bytes |
| MIME type | application/pdf |
| Optimized | no |
| Page size | 794 x 595 pts |
| Pages | 53 |
| PDF version | 1.4 |
| Producer | OpenOffice.org 1.1.2 |
| Size | 430.1 KB |
| Tagged | no |
