@inproceedings{ACHKP10, <br>AUTHOR = {Alkassar, E. and Cohen, E. and Hillebrand, M. and Kovalev, M. and Paul, W.},<br>TITLE = {Verifying Shadow Page Table Algorithms},<br>YEAR = {2010},<br>PAGES = {267-270}, <br>URL = {http:///publikationen/ACHKP10.pdf}, <br>BOOKTITLE = {Formal Methods in Computer Aided Design (FMCAD) 2010}, <br>PUBLISHER = {IEEE},<br>}