Matthias Daum, Jan Dörrenbächer, Sebastian Bogan. Model Stack for the Pervasive Verification of a Microkernel-based Operating System. In Bernhard Beckert, Gerwin Klein, editors, Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008. Volume 372 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]
@inproceedings{DaumDB08,
title = {Model Stack for the Pervasive Verification of a Microkernel-based Operating System},
author = {Matthias Daum and Jan Dörrenbächer and Sebastian Bogan},
year = {2008},
url = {http://ceur-ws.org/Vol-372/paper07.pdf},
tags = {rule-based, operating system},
researchr = {https://researchr.org/publication/DaumDB08},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008},
editor = {Bernhard Beckert and Gerwin Klein},
volume = {372},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}