@inproceedings{DaumDB-VERIFY08-, <br>AUTHOR = {Daum, Matthias and Dörrenbächer, Jan and Bogan, Sebastian},<br>TITLE = {Model Stack for the Pervasive Verification of a Microkernel-based Operating System},<br>VOLUME = {372}, <br>YEAR = {2008},<br>PAGES = {56-70}, <br>URL = {http:///publikationen/DaumDB-VERIFY08-.pdf}, <br>SERIES = {CEUR Workshop Proceedings},<br>BOOKTITLE = {5th International Verification Workshop (VERIFY'08)}, <br>PUBLISHER = {CEUR-WS.org},<br>EDITOR = {Beckert, Bernhard and Klein, Gerwin},<br>EE = {http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-372/},<br>}