Publications

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

To the publication

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