On the Architecture of System Verification Environments

@inproceedings{pub3028,
    author = {

Hillebrand, Mark
 and 

Paul, Wolfgang
},
    editor = {

Yorav, Karen
},
    title = {On the Architecture of System Verification Environments},
    booktitle = {Hardware and Software, Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23--25, 2007. International Haifa Verification Conference (HVC)},
    series = {LNCS},
    year = {2007},
    month = {10},
    volume = {4899},
    pages = {153--168},
    publisher = {Springer}
}