DILLIG, Isil und TASIRAN, Serdar (Hrsg.). 1 st ed. 2019. Cham: Springer International Publishing. ISBN 9783030255404.
Elsevier - Harvard (with titles)Dillig, I., Tasiran, S. (Hrsg.), 2019. Computer Aided Verification : 31 st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, 1 st ed. 2019. ed, Theoretical Computer Science and General Issues. Springer International Publishing, Cham. https://doi.org/10.1007/978-3-030-25540-4
American Psychological Association 7th editionComputer Aided Verification : 31 st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I. (ca. 2019). [Cd]. In I. Dillig & S. Tasiran (Hrsg.), Theoretical Computer Science and General Issues (1 st ed. 2019). Springer International Publishing. https://doi.org/10.1007/978-3-030-25540-4
Springer - Basic (author-date)Dillig I, Tasiran S (Hrsg.) (2019) Computer Aided Verification : 31 st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, 1 st ed. 2019. Springer International Publishing, Cham
Juristische Zitierweise (Stüber) (Deutsch)Dillig, Isil/ Tasiran, Serdar (Hrsg.), Computer Aided Verification : 31 st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, 1 st ed. 2019 , Cham 2019.