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