Publikationen

Zeige Ergebnisse 1 bis 4 von 4

In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE) March 14-18 Dresden Germany Seiten 1048-1053 2016.

Zur Publikation

In: International Conference on Tests & Proofs- Proceedings. International Conference on Test & Proofs (TAP-14) 8th July 24-25 York United Kingdom 2014.

Zur Publikation

In: 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