H. Tuch and G. Klein. Verifying the L4 virtual memory subsystem. In Proc. NICTA FM Workshop on OS Verification, pages 73--97. Technical Report 0401005T-1, National ICT Australia, 2004. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Formalising a High-Performance Microkernel - Kevin Elphinstone Gerwin Self-citation (Klein) (Correct)
No context found.
H. Tuch and G. Klein. Verifying the L4 virtual memory subsystem. In Proc. NICTA FM Workshop on OS Verification, pages 73--97. Technical Report 0401005T-1, National ICT Australia, 2004.
Formalising the L4 microkernel API - Rafal Kolanski Gerwin Self-citation (Klein) (Correct)
No context found.
H. Tuch and G. Klein. Verifying the L4 virtual memory subsystem. In G. Klein, editor, Proc. NICTA FM Workshop on OS Verification, pages 73--97. Technical Report 0401005T-1, National ICT Australia, 2004.
Formalising the L4 microkernel API - Rafal Kolanski Gerwin Self-citation (Klein) (Correct)
No context found.
H. Tuch and G. Klein. Verifying the L4 virtual memory subsystem. In G. Klein, editor, Proc. NICTA FM Workshop on OS Verification, pages 73--97. Technical Report 0401005T-1, National ICT Australia, 2004.
OS Verification --- Now! - Harvey Tuch Gerwin Self-citation (Tuch Klein) (Correct)
No context found.
H. Tuch and G. Klein. Verifying the L4 virtual memory subsystem. In Klein [10], pages 73--97.
OS Verification - Now! - Tuch, Klein, Heiser Self-citation (Tuch Klein) (Correct)
No context found.
H. Tuch and G. Klein. Verifying the L4 virtual memory subsystem. In Klein [9], pages 73--97.
Future Directions in the Evolution of the L4 Microkernel - Elphinstone (Correct)
No context found.
Harvey Tuch and Gerwin Klein. Verifying the L4 virtual memory subsystem. In Gerwin Klein, editor, Proc. NICTA workshop on OS verification 2004, Technical Report 0401005T1, Sydney, Australia, October 2004. National ICT Australia.
Future Directions in the Evolution of the L4 Microkernel - Elphinstone (Correct)
No context found.
Harvey Tuch and Gerwin Klein. Verifying the L4 virtual memory subsystem. In Gerwin Klein, editor, Proc. NICTA workshop on OS verification 2004, Technical Report 0401005T1, Sydney, Australia, October 2004. National ICT Australia.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC