Publikationen

Zeige Ergebnisse 1 bis 3 von 3

In: Workshop Proceedings VERIFY06 at the International Joint Conference on Automated Reasoning. International Verification Workshop (VERIFY) Seattle 2006.

Zur Publikation

In: Journal of Logic and Algebraic Programming (JLAP) 67 1--2 Seiten 114-145 2006.

Zur Publikation

Jahr

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