Lutz Schröder; Dirk Pattinson
In: Wolfgang Thomas; Pascal Weil (Hrsg.). Theoretical Aspects of Computer Science (STACS 07). International Symposium on Theoretical Aspects of …
In: Lars Arge; Andrzej Tarlecki; Christian Cachin (Hrsg.). Automata, Languages and Programming. International Colloquium on Automata, Languages and …
Lutz Schröder; Till Mossakowski
In: José Luiz Fiadeiro (Hrsg.). Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006. International Workshop on …
Lutz Schröder
In: Till Mossakowski; Udo Montanari (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science …
In: Journal of Logic and Algebraic Programming (JLAP), Vol. 73, Pages 97-110, 2007.
2007.
Jens Haupert
Mastersthesis, Universität des Saarlandes, 2007.
Frank Kirchner; Dirk Spenneberg
ISBN 978-3-902613-16-5, InTech, 2007.
Tim Laue; Thomas Röfer
In: Gerhard Lakemeyer; Elizabeth Sklar; Domenico Sorrenti; Tomoichi Takahashi (Hrsg.). RoboCup 2006: Robot Soccer World Cup X. RoboCup International …
Till Mossakowski; Markus Roggenbach
In: J. Fiadeiro (Hrsg.). WADT 2006. International Workshop on Algebraic Development Techniques (WADT-06), 18th, June 1-3, La Roche en Ardenne, …
