Hermanns, H. und Palsberg, J. (Hrsg.) (2006) „Tools and Algorithms for the Construction and Analysis of Systems : 12 th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings“, Theoretical Computer Science and General Issues. 1 st ed. 2006. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/11691372.

Hermanns, Holger, und Jens Palsberg, Hrsg. „Tools and Algorithms for the Construction and Analysis of Systems : 12 th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings“. Cd. Theoretical Computer Science and General Issues. Berlin, Heidelberg: Springer Berlin Heidelberg, [2006?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2006?]. https://doi.org/10.1007/11691372.

Hermanns, H., … Palsberg, J. (Hrsg.). (ca. 2006). Tools and Algorithms for the Construction and Analysis of Systems : 12 th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2006). Springer Berlin Heidelberg. https://doi.org/10.1007/11691372

Hermanns, H., und J. Palsberg, Herausgeber. „Tools and Algorithms for the Construction and Analysis of Systems : 12 th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings“. Theoretical Computer Science and General Issues, 1 st ed. 2006, cd, Springer Berlin Heidelberg, 2006, https://doi.org/10.1007/11691372.

HERMANNS, Holger und Jens PALSBERG (Hrsg.). [cd]. 2006. 1 st ed. 2006. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540330578