@inproceedings{Daum_FM08ds-,
AUTHOR = {Daum, Matthias},
TITLE = {Modelling User Programs on top of a Microkernel},
VOLUME = {48},
YEAR = {2008},
SERIES = {General Publications},
BOOKTITLE = {Proceedings of Doctoral Symposium held in conjunction with Formal Methods 2008},
PUBLISHER = {Turku centre for computer science},
EDITOR = {Troubitsyna, Elena},
EE = {http://www.tucs.fi/publications/insight.php?id=pTroubitsyna08a},
}