Formalising the L4 microkernel API (2006)

Cached

Download Links

by Rafal Kolanski , Gerwin Klein
Venue:COMPUTING: THE AUSTRALASIAN THEORY SYMPOSIUM (CATS 06), VOLUME 51 OF CONFERENCES IN RESEARCH AND PRACTICE IN INFORMATION TECHNOLOGY
Citations:4 - 2 self