@inproceedings{Alkassar-CAV2011, <br>AUTHOR = {Alkassar, E. and Böhme, S. and Mehlhorn, K. and Rizkallah, C.},<br>TITLE = {Verification of Certifying Computations},<br>YEAR = {2011},<br><br />
<b>Warning</b>:  Undefined variable $SERVER_NAME in <b>/www/www-wjp/includes/bibtexentry.php</b> on line <b>42</b><br />
URL = {http:///publikationen/Alkassar-CAV2011.pdf}, <br>BOOKTITLE = {Conference on Computer Aided Verification (CAV 2011)}, <br>PUBLISHER = {LNCS},<br>}