Publikationen

Zeige Ergebnisse 1 bis 8 von 8

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

In: Proceedings of the IEEE Computer Society Annual Symposium on VLSI 2012. IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2012) August 19-21 Amherst Masachusetts United States IEEE 2012.

Zur Publikation

In: Proceedings of the Forum on Specification & Design Languages 2012. Forum on Specification & Design Languages (FDL-2012) September 18-20 Vienna Austria IEEE 2012.

Zur Publikation

In: Proceedings of the IEEE International Workshop on High-Level Design Validation and Test 2012. IEEE International Workshop on High-Level Design Validation and Test (HLDVT-2012) November 9-10 Huntington Beach CA United States IEEE 2012.

Zur Publikation

In: Reversible Computation 2011, Series: Lecture Notes in Computer Science (LNCS) Reversible Computation. Workshop on Reversible Computation (RC-2011) 3rd July 4-5 Gent Belgium Seiten 64-76 Lecture Notes in Computer Science (LNCS) 7165 Springer 2012.

Zur Publikation

In: Conference Proceedings. Design, Automation & Test in Europe (DATE-12) March 12-16 Dresden Germany 2012.

Zur Publikation

In: Conference Proceedings. Asia and South Pacific Design Automation Conference (ASP-DAC-12) 17th January 30-February 2 Sydney New South Wales Australia 2012.

Zur Publikation

In: Conference Proceedings. Design, Automation & Test in Europe (DATE-12) March 12-16 Dresden Germany 2012.

Zur Publikation

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