Rafal Kolanski, Gerwin Klein. Formalising the L4 microkernel API. In Joachim Gudmundsson, C. Barry Jay, editors, Theory of Computing 2006, Proceedings of the Twelfth Computing: The Australasian Theory Symposium (CATS2006). Hobart, Tasmania, Australia, 16-19 January 2006, Proceedings. Volume 51 of CRPIT, pages 53-68, Australian Computer Society, 2006. [doi]
@inproceedings{KolanskiK06,
title = {Formalising the L4 microkernel API},
author = {Rafal Kolanski and Gerwin Klein},
year = {2006},
url = {http://crpit.com/abstracts/CRPITV51Kolanski.html},
researchr = {https://researchr.org/publication/KolanskiK06},
cites = {0},
citedby = {0},
pages = {53-68},
booktitle = {Theory of Computing 2006, Proceedings of the Twelfth Computing: The Australasian Theory Symposium (CATS2006). Hobart, Tasmania, Australia, 16-19 January 2006, Proceedings},
editor = {Joachim Gudmundsson and C. Barry Jay},
volume = {51},
series = {CRPIT},
publisher = {Australian Computer Society},
isbn = {1-920682-33-3},
}