@inproceedings{ACKP12,
AUTHOR = {Alkassar, E. and Cohen, E. and Kovalev, M. and Paul, W.},
TITLE = {Verification of TLB Virtualization Implemented in C},
YEAR = {2012},

Warning: Undefined variable $SERVER_NAME in /www/www-wjp/includes/bibtexentry.php on line 42
URL = {http:///publikationen/ACKP12.pdf},
SERIES = {Lecture Notes in Computer Science},
BOOKTITLE = {4th International Conference on Veri ed Software: Theories, Tools, and Experiments, VSTTE'12},
PUBLISHER = {Springer-Verlag},
}