Publikation
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 (TACAS-2007), 13th, located at the European Joint Conferences on Theory and Practice of Software (ETAPS 2007), March 24 - April 1, Braga, Portugal, Pages 519-522, Lecture Notes in Computer Science (LNCS), Vol. 4424, Springer-Verlag, Heidelberg, 2007.