Ahmed Bouajjani, Université Paris VII Labo. Informatique Algorithmique, Paris CX 05, France; Oded Maler, Université Grenoble I Centre Équation, Gières, France / 2009-06-19 / Springer Berlin Heidelberg
Jacques Calmet, Karlsruhe University of Technology Department of Computer Science, Karlsruhe, Germany; Willi Geiselmann, Universität Karlsruhe Fak. Informatik, Karlsruhe, Germany; Jörn Müller-Quade, U / 2008-12-09 / Springer Berlin Heidelberg