@inproceedings{Alkassar_VSTTE08-225, <br>AUTHOR = {Alkassar, Eyad and Hillebrand, Mark A.},<br>TITLE = {Formal Functional Verification of Device Drivers},<br>VOLUME = {5295}, <br>YEAR = {2008},<br>PAGES = {225--239}, <br>URL = {http:///publikationen/Alkassar_VSTTE08-225.pdf}, <br>SERIES = {LNCS},<br>BOOKTITLE = {2nd IFIP Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'08)}, <br>PUBLISHER = {Springer},<br>EDITOR = {Natarajan Shankar and Jim Woodcock},<br>EE = {http://dx.doi.org/10.1007/978-3-540-87873-5_19},<br>}