Publikation
In: Springer-Verlag, 2002.
@incollection{pub1631, author = { Autexier, Serge and Hutter, Dieter }, title = {Mind the Gap - Maintaining Formal Developments in MAYA}, year = {2002}, publisher = {Springer-Verlag} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023