Esparza, J. und Majumdar, R. (Hrsg.) (2010) „Tools and Algorithms for the Construction and Analysis of Systems : 16 th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings“, Theoretical Computer Science and General Issues. 1 st ed. 2010. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-642-12002-2.

Esparza, Javier, und Rupak Majumdar, Hrsg. „Tools and Algorithms for the Construction and Analysis of Systems : 16 th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings“. Cd. Theoretical Computer Science and General Issues. Berlin, Heidelberg: Springer Berlin Heidelberg, [2010?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2010?]. https://doi.org/10.1007/978-3-642-12002-2.

Esparza, J., … Majumdar, R. (Hrsg.). (ca. 2010). Tools and Algorithms for the Construction and Analysis of Systems : 16 th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2010). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-12002-2

Esparza, J., und R. Majumdar, Herausgeber. „Tools and Algorithms for the Construction and Analysis of Systems : 16 th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings“. Theoretical Computer Science and General Issues, 1 st ed. 2010, cd, Springer Berlin Heidelberg, 2010, https://doi.org/10.1007/978-3-642-12002-2.

ESPARZA, Javier und Rupak MAJUMDAR (Hrsg.). [cd]. 2010. 1 st ed. 2010. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642120022