Publications

Displaying results 1 to 1 of 1

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.

To the publication

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