Publikationen

Zeige Ergebnisse 1 bis 8 von 8

In: Conference on Algebra and Coalgebra in Computer Science - Proceedings. Conference on Algebra and Coalgebra in Computer Science (CALCO-13) September 3-6 Warsaw Poland 2013.

Zur Publikation

In: 14th Brazilian Symposium on Programming Languages. Brazilian Symposium on Programming Languages (SBLP-10) Brazilian Conference on Software: Theory and Practice September 27-October 1 Salvador-Bahia Brazil 9/2010.

Zur Publikation

In: Proceedings of the 13th International Conference on Algebraic Methodology and Software Technology. International Conference on Algebraic Methodology and Software Technology (AMAST-2010) Thirteenth June 23-25 Manoir St-Castin Quebec Canada LNCS Springer 2010.

Zur Publikation

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

In: VERIFY 2007, 4th International Verification Workshop. Seiten 119-135 CEUR Workshop Proceedings 259 2007.

Zur Publikation

In: TACAS 2007. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-2007) 13th the European Joint Conferences on Theory and Practice of Software (ETAPS 2007) March 24-April 1 Braga Portugal Seiten 519-522 Lecture Notes in Computer Science (LNCS) 4424 Springer-Verlag Heidelberg 2007.

Zur Publikation

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