@inproceedings{HP07,
AUTHOR = {Hillebrand, M. A. and Paul, W. J.},
TITLE = {On the Architecture of System Verification Environments},
VOLUME = {4899},
YEAR = {2007},
PAGES = {153--168},
Warning: Undefined variable $SERVER_NAME in /www/www-wjp/includes/bibtexentry.php on line 42
URL = {http:///publikationen/HP07.pdf},
SERIES = {LNCS},
BOOKTITLE = {Haifa Verification Conference 2007, October 23-25, 2007, Haifa, Israel},
PUBLISHER = {Springer},
EDITOR = {Karen Yorav},
EE = {http://dx.doi.org/10.1007/978-3-540-77966-7_14},
}