TOUILI, Tayssir, COOK, Byron und JACKSON, Paul (Hrsg.). [cd]. 2010. 1 st ed. 2010. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642142956.
Elsevier - Harvard (with titles)Touili, T., Cook, B., Jackson, P. (Hrsg.), 2010. Computer Aided Verification : 22 nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings. Theoretical Computer Science and General Issues. https://doi.org/10.1007/978-3-642-14295-6
American Psychological Association 7th editionTouili, T., Cook, B., … Jackson, P. (Hrsg.). (ca. 2010). Computer Aided Verification : 22 nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 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-14295-6
Springer - Basic (author-date)Touili T, Cook B, Jackson P (Hrsg.) (2010) Computer Aided Verification : 22 nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings. Theoretical Computer Science and General Issues
Juristische Zitierweise (Stüber) (Deutsch)Touili, Tayssir/ Cook, Byron/ Jackson, Paul (Hrsg.), Computer Aided Verification : 22 nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings, Theoretical Computer Science and General Issues 2010, .