ALUR, Rajeev und HENZINGER, Thomas A, 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.
Elsevier - Harvard (with titles)Alur, R., 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, Lecture Notes in Computer Science. 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
Springer - Basic (author-date)Alur R, Henzinger TA (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
Juristische Zitierweise (Stüber) (Deutsch)Alur, Rajeev/ Henzinger, Thomas A, Computer Aided Verification : 8 th International Conference, CAV ’96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings, Lecture Notes in Computer Science 1996, .