Seite 7 von 10.
Oliver Kutz; Till Mossakowski
In: Malik Ghallab; Constantine D. Spyropoulos; Nikos Fakotakis; Nikos Avouris (Hrsg.). Proceedings of the 18th European Conference on Artificial …
Dominik Lücke; Till Mossakowski; Diedrich Wolter
In: Christian Freksa; Nora S. Newcombe; Peter Gärdenfors; Stefan Wölfl (Hrsg.). Spatial Cognition VI. Learning, Reasoning, and Talking about Space. …
Till Mossakowski; A. Haxthausen; D. Sannella; A. Tarlecki
In: D. Bjorner; M. Henson (Hrsg.). Logics of Formal Specification Languages. Chapter 3, Pages 241-298, Monographs in Theoretical Computer Science, …
John Bateman; Stefano Borgo; Klaus Lüttich; Claudio Masolo; Till Mossakowski
In: Spatial Cognition & Computation - An Interdisciplinary Journal, Vol. 7, No. 1, Pages 97-128, Taylor & Francis, 2007.
Klaus Lüttich; Till Mossakowski
In: J. Fiadeiro (Hrsg.). WADT 2006. International Workshop on Algebraic Development Techniques (WADT-06), 18th, June 1-3, La Roche en Ardenne, …
Till Mossakowski; Christian Maeder; Klaus Lüttich
In: Orna Grumberg; Michael Huth (Hrsg.). TACAS 2007. International Conference on Tools and Algorithms for the Construction and Analysis of Systems …
Joseph Goguen; Till Mossakowski; Valeria De Paiva; Florian Rabe; Lutz Schröder
In: International Journal of Software and Informatics (IJSI), Vol. 1, No. 1, Pages 129-152, 2007.
Till Mossakowski; Ugo Montanari; Magne Haveraaen (Hrsg.)
Lecture Notes in Computer Science (LNCS), Vol. 4624, Springer-Verlag, Heidelberg, 2007.
In: Bernhard Beckert (Hrsg.). VERIFY 2007, 4th International Verification Workshop. Pages 119-135, CEUR Workshop Proceedings, Vol. 259, 2007.
Till Mossakowski; Joseph Goguen; Razvan Diaconescu; Andrzej Tarlecki
In: Jean-Yves Béziau (Hrsg.). Logica Universalis. Pages 111-133, No. second edition, Birkhäuser, 2007.