Publications

Page 1 of 1.

1. John Bateman; Stefano Borgo; Klaus Lüttich; Claudio Masolo; Till Mossakowski

   Ontological Modularity and Spatial Diversity

   In: Spatial Cognition & Computation - An Interdisciplinary Journal, Vol. 7, No. 1, Pages 97-128, Taylor & Francis, 2007.

2. Klaus Lüttich; Till Mossakowski

   Reasoning Support for CASL with Automated Theorem Proving Systems

   In: J. Fiadeiro (Hrsg.). WADT 2006. International Workshop on Algebraic Development Techniques (WADT-06), 18th, June 1-3, La Roche en Ardenne, …

3. Till Mossakowski; Christian Maeder; Klaus Lüttich

   The Heterogeneous Tool Set

   In: Bernhard Beckert (Hrsg.). VERIFY 2007, 4th International Verification Workshop. Pages 119-135, CEUR Workshop Proceedings, Vol. 259, 2007.

4. Till Mossakowski; Christian Maeder; Klaus Lüttich

   The Heterogeneous Tool Set

   In: Orna Grumberg; Michael Huth (Hrsg.). TACAS 2007. International Conference on Tools and Algorithms for the Construction and Analysis of Systems …

• 1