The Verification Support Environment VSE

@inproceedings{pub1554,
    author = {

Baur, Peter
 and 

Kejwal, Peter
 and 

Reif, Wolfgang
 and 

Stephan, Werner
 and 

Hutter, Dieter
 and 

Sengler, Claus
 and 

Cleve, Jürgen
},
    editor = {

Frey, H. H.
},
    title = {The Verification Support Environment VSE},
    booktitle = {Proceedings of the IFAC Symposium. IFAC Symposium on Safety of Computer Control Systems (SAFECOMP-92), October 28-30, Zürich, Switzerland},
    series = {IFAC Symposia Series},
    year = {1992},
    pages = {69--74},
    organization = {IFAC International Federation of Automatic Control},
    publisher = {Pergamon Press}
}