@phdthesis{CMphd11,
AUTHOR = {Müller, Christian},
TITLE = {Complete Formal Hardware Verification of Interfaces for a FlexRay-Like Bus},
YEAR = {2011},
Warning: Undefined variable $SERVER_NAME in /www/www-wjp/includes/bibtexentry.php on line 42
URL = {http:///publikationen/CMphd11.pdf},
SCHOOL = {Saarland University, Saarbrücken},
}