Vol-371⫷ Vol-372 ⫸Vol-373
urn:nbn:de:0074-372-0


Vol-372/paper-6⫷Vol-372/paper-7⫸Vol-372/paper-8
Matthias Daum 0001Sebastian BoganJan Dörrenbächer

Model Stack for the Pervasive Verification of a Microkernel-based Operating System