Publikation
Dieter Hutter; Werner Stephan; Paolo Traverso; Markus Ullmann
Springer-Verlag, LNCS 1641, Boppard, Germany, 1999.
@booklet{pub1576, author = { Hutter, Dieter and Stephan, Werner and Traverso, Paolo and Ullmann, Markus }, title = {Proceedings of Current Trends in Applied Formal Methods, FM-Trends 98}, year = {1999} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023