Halbwachs, N. und Zuck, L. (Hrsg.) (2005) „Tools and Algorithms for the Construction and Analysis of Systems : 11 th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings“, Theoretical Computer Science and General Issues. 1 st ed. 2005. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/b107194.

Halbwachs, Nicolas, und Lenore Zuck, Hrsg. „Tools and Algorithms for the Construction and Analysis of Systems : 11 th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings“. Cd. Theoretical Computer Science and General Issues. Berlin, Heidelberg: Springer Berlin Heidelberg, [2005?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2005?]. https://doi.org/10.1007/b107194.

Halbwachs, N., … Zuck, L. (Hrsg.). (ca. 2005). Tools and Algorithms for the Construction and Analysis of Systems : 11 th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2005). Springer Berlin Heidelberg. https://doi.org/10.1007/b107194

Halbwachs, N., und L. Zuck, Herausgeber. „Tools and Algorithms for the Construction and Analysis of Systems : 11 th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings“. Theoretical Computer Science and General Issues, 1 st ed. 2005, cd, Springer Berlin Heidelberg, 2005, https://doi.org/10.1007/b107194.

HALBWACHS, Nicolas und Lenore ZUCK (Hrsg.). [cd]. 2005. 1 st ed. 2005. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540319801