Alur, R. und Henzinger, T.A. (1996) „Computer Aided Verification : 8 th International Conference, CAV ’96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings“, Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag (Lecture Notes in Computer Science, 1102). doi:10.1007/3-540-61474-5.
Chicago Manual of Style 17th edition (full note)Alur, Rajeev, und Thomas A Henzinger. „Computer Aided Verification : 8 th International Conference, CAV ’96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings“. Cd. Lecture Notes in Computer Science. Lecture Notes in Computer Science 1102. Berlin, Heidelberg: Springer-Verlag, [1996?], Berlin, Heidelberg: Springer-Verlag, [1996?]. https://doi.org/10.1007/3-540-61474-5.
American Psychological Association 7th editionAlur, R., & Henzinger, T. A. (ca. 1996). Computer Aided Verification : 8 th International Conference, CAV ’96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings [Cd]. In Lecture Notes in Computer Science. Springer-Verlag. https://doi.org/10.1007/3-540-61474-5
Modern Language Association 9th editionAlur, R., und T. A. Henzinger. „Computer Aided Verification : 8 th International Conference, CAV ’96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings“. Lecture Notes in Computer Science, cd, Springer-Verlag, 1996, https://doi.org/10.1007/3-540-61474-5.
ISO-690 (author-date, Deutsch)ALUR, Rajeev und Thomas A HENZINGER, 1996. Computer Aided Verification : 8 th International Conference, CAV ’96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings. [cd]. 1996. Berlin, Heidelberg: Springer-Verlag. Lecture Notes in Computer Science, 1102. ISBN 9783540685999