Verification Support Environment (VSE)

@inproceedings{pub1565,
    author = {

Hutter, Dieter
 and 

Langenstein, Bruno
 and 

Sengler, Claus
 and 

Siekmann, Jörg
 and 

Stephan, Werner
 and 

Wolpers, Andreas
},
    editor = {

Cullyer, William John
 and 

Halang, Wolfgang A.
 and 

Krämer, Bernd J.
},
    title = {Verification Support Environment (VSE)},
    booktitle = {Proceedings of the Dagstuhl Seminar on High Integrity Programmable Electronic Systems. Dagstuhl Seminare/Workshops, February 27-March 3, Schloß Dagstuhl, Germany},
    year = {1995},
    organization = {IBFI GmbH}
}