Publikation

Proceedings of Current Trends in Applied Formal Methods, FM-Trends 98

Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann

Springer-Verlag, LNCS 1641 Boppard, Germany 1999.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence