@phdthesis{Be05, <br>AUTHOR = {Beyer, Sven},<br>TITLE = {Putting it all together - Formal Verification of the VAMP},<br>YEAR = {2005},<br>URL = {http:///publikationen/Be05.pdf}, <br>SCHOOL = {Saarland University, Saarbrücken},<br>}