MANNA, Zohar und PELED, Doron A (Hrsg.). 1 st ed. 2010. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642137549.
Elsevier - Harvard (with titles)Manna, Z., Peled, D.A. (Hrsg.), 2010. Time for Verification : Essays in Memory of Amir Pnueli, 1 st ed. 2010. ed, Theoretical Computer Science and General Issues. Springer Berlin Heidelberg, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13754-9
American Psychological Association 7th editionTime for Verification : Essays in Memory of Amir Pnueli. (ca. 2010). [Cd]. In Z. Manna & D. A. Peled (Hrsg.), Theoretical Computer Science and General Issues (1 st ed. 2010). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-13754-9
Springer - Basic (author-date)Manna Z, Peled DA (Hrsg.) (2010) Time for Verification : Essays in Memory of Amir Pnueli, 1 st ed. 2010. Springer Berlin Heidelberg, Berlin, Heidelberg
Juristische Zitierweise (Stüber) (Deutsch)Manna, Zohar/ Peled, Doron A (Hrsg.), Time for Verification : Essays in Memory of Amir Pnueli, 1 st ed. 2010 , Berlin, Heidelberg 2010.