ESPARZA, Javier und MAJUMDAR, Rupak (Hrsg.). [cd]. 2010. 1 st ed. 2010. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642120022.
Elsevier - Harvard (with titles)Esparza, J., 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. https://doi.org/10.1007/978-3-642-12002-2
American Psychological Association 7th editionEsparza, 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
Springer - Basic (author-date)Esparza J, 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
Juristische Zitierweise (Stüber) (Deutsch)Esparza, Javier/ Majumdar, Rupak (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, Theoretical Computer Science and General Issues 2010, .