TY  - RPRT
TI  - Quest-V: A Virtualized Multikernel for High-Confidence Systems
AU  - Ye Li
AU  - Matthew Danish
AU  - Richard West
PY  - 2011
UR  - https://arxiv.org/abs/1112.5136
ID  - 1112.5136
ER  -