Publikation
Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers
In: J. Woodcock; M. C. Gaudel (Hrsg.). Proceedings of the Third International Symposium of Formal Methods Europe: Industrial Benefit and Advances in Formal Methods. Formal Methods Europe (FME-96), 3rd, March 17-21, Oxford, United Kingdom, Pages 168-286, Lecture Notes In Computer Science (LNCS), Vol. 1051, ISBN 3-540-60973-3, Springer-Verlag, London, UK, 1996.
@inproceedings{pub1566, author = { Hutter, Dieter and Langenstein, Bruno and Sengler, Claus and Siekmann, Jörg and Stephan, Werner and Wolpers, Andreas }, editor = { Woodcock, J. and Gaudel, M. C. }, title = {Deduction in the Verification Support Environment (VSE)}, booktitle = {Proceedings of the Third International Symposium of Formal Methods Europe: Industrial Benefit and Advances in Formal Methods. Formal Methods Europe (FME-96), 3rd, March 17-21, Oxford, United Kingdom}, series = {Lecture Notes In Computer Science (LNCS)}, year = {1996}, volume = {1051}, pages = {168--286}, publisher = {Springer-Verlag}, isbn = {3-540-60973-3} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023