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