American Psychological Association 6th edition

Computer Aided Verification : 31 st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I. [ca. 2019]. In I. Dillig & S. Tasiran (Hrsg.), Theoretical Computer Science and General Issues (1 st ed. 2019) [Cd]. Cham: Springer International Publishing. https://doi.org/10.1007/978-3-030-25540-4

ISO-690 (author-date, English)

DILLIG, Isil und TASIRAN, Serdar (Hrsg.). 1 st ed. 2019. Cham: Springer International Publishing. ISBN 9783030255404.

Modern Language Association 9th edition

Dillig, I., und S. Tasiran, Herausgeber. „Computer Aided Verification : 31 st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I“. Theoretical Computer Science and General Issues, 1 st ed. 2019, cd, Springer International Publishing, 2019, https://doi.org/10.1007/978-3-030-25540-4.

Mohr Siebeck - Recht (Deutsch - Österreich)

: 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. Aufl. Cham 2019.

Emerald - Harvard

Dillig, I. und 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, Theoretical Computer Science and General Issues, 1 st ed. 2019., Bd. , Springer International Publishing, Cham, verfügbar unter:https://doi.org/10.1007/978-3-030-25540-4.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.