Publikation
Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers
In: Journal of High Integrity Systems, Vol. 1, No. 6, Pages 523-530, Oxford University Press, 1996.
@article{pub1567, author = { Hutter, Dieter and Langenstein, Bruno and Sengler, Claus and Siekmann, Jörg and Stephan, Werner and Wolpers, Andreas }, title = {Verification Support Environment (VSE)}, year = {1996}, volume = {1}, number = {6}, pages = {523--530}, journal = {Journal of High Integrity Systems}, publisher = {Oxford University Press} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023