Publikationen

In: D. Bjorner , M. Henson (Hrsg.). Logics of Formal Specification Languages. Kapitel 3 Seiten 241-298 Monographs in Theoretical Computer Science Springer Heidelberg 2007.

Zur Publikation

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