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