In: Luca Aceto; Anna Ingólfsdóttir (Hrsg.). Foundations Of Software Science And Computation Structures. International Conference on Foundations of Software Science and Computation Structures (FoSSaCS-2006), 9th International Conference, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, located at ETAPS 2006, March 25-31, Vienna, Australia, Pages 157-171, Lecture Notes in Computer Science (LNCS), Vol. 3921, ISBN 3-540-33045-3, Springer; www.springer.de, Berlin, 2006.
In: Stefan Wölfl; Till Mossakowski (Hrsg.). Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006. Qualitative Constraint Calculi - Application and Integration. Workshop (KI-2006), located at 29th Annual German Conference on Artificial Intelligence, June 14-19, Bremen, Germany, Pages 28-39, 2006.
In: M. Johnson; V. Vene (Hrsg.). AMAST 2006. International Conference on Algebraic Methodology and Software Technology (AMAST-06), 11th, July 5-8, Kuressaare, Estonia, Pages 3-4, Lecture Notes in Computer Science, Vol. 4019, Springer, Berlin, 2006.
In: K. Futatsugi; J.-P. Jouannaud; J. Meseguer (Hrsg.). Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. Pages 124-149, Lecture Notes in Computer Science (LNCS), Vol. 4060, ISBN 354035462X, Springer, Berlin, 2006.
In: Eclipse Technology eXchange ETX'06. Eclipse Technology Exchange Workshop (ETX-06), ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, located at OOPSLA 2006, October 22-26, Portland, OR, USA, ACM Press, 2006.
