Publikationen

Zeige Ergebnisse 1 bis 3 von 3

In: Proceedings of the 11th International Conference on Formal Engineering Methods. International Conference on Formal Engineering Methods (ICFEM-2009) December 9-12 Rio de Janeiro Brazil Lecture Notes in Computer Science (LNCS) 5885 Springer 2009.

Zur Publikation

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