Publikationen

In: 9th International Conference on Tests & Proofs (TAP). International Conference on Test & Proofs (TAP-09) 9th July 20-24 L’Aquila Italy 2015.

Zur Publikation

In: Forum on Specification & Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14) October 14-16 München Germany o.A. 2014.

Zur Publikation

In: Forum on Specification & Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14) October 14-16 München Germany o.A. 2014.

Zur Publikation

In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-13) March 18-22 Grenoble France IEEE 2013.

Zur Publikation

In: G. Rozenberg , H.-J. Kreowski , G. Engels , H. Ehrig (Hrsg.). Proceedings of the 6th International Conference on Graph Transformation 2012 "Modeling and Analysis of Dynamic Structures". International Conference on Graph Transformation (ICGT-2012) 6th, - Modeling and Analysis of Dynamic Structures - September 24-29 Bremen Germany Lecture Notes in Computer Science (LNCS) 7562 Springer 2012.

Zur Publikation

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