Verification Support Enviroment (VSE)

@inproceedings{pub1621,
    author = {

Förster, R.
 and 

Kejwal, P.
 and 

Baur, P.
 and 

Göhner, P.
 and 

Cleve, J.
 and 

Drexler, R.
 and 

Hutter, Dieter
 and 

Sengler, Claus
 and 

Siekmann, Jörg
 and 

Stephan, Werner
 and 

Wolpers, A.
 and 

Reif, W.
 and 

Canver, E.
 and 

Henke, F. W. von
},
    title = {Verification Support Enviroment (VSE)},
    booktitle = {Tagungsband 3. Deutscher IT-Sicherheitskongress der BSI. Deutscher IT-Sicherheitskongress der BSI, 3.},
    year = {1994},
    publisher = {SecuMedia}
}