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