Dill, D.L. (1994) „Computer Aided Verification : 6 th International Conference, CAV ’94 Stanford, California, USA, June 21–23, 1994 Proceedings“, Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag (Lecture Notes in Computer Science, 818). doi:10.1007/3-540-58179-0.
Chicago Manual of Style 17th edition (full note)Dill, David L. „Computer Aided Verification : 6 th International Conference, CAV ’94 Stanford, California, USA, June 21–23, 1994 Proceedings“. Cd. Lecture Notes in Computer Science. Lecture Notes in Computer Science 818. Berlin, Heidelberg: Springer-Verlag, [1994?], Berlin, Heidelberg: Springer-Verlag, [1994?]. https://doi.org/10.1007/3-540-58179-0.
American Psychological Association 7th editionDill, D. L. (ca. 1994). Computer Aided Verification : 6 th International Conference, CAV ’94 Stanford, California, USA, June 21–23, 1994 Proceedings [Cd]. In Lecture Notes in Computer Science. Springer-Verlag. https://doi.org/10.1007/3-540-58179-0
Modern Language Association 9th editionDill, D. L. „Computer Aided Verification : 6 th International Conference, CAV ’94 Stanford, California, USA, June 21–23, 1994 Proceedings“. Lecture Notes in Computer Science, cd, Springer-Verlag, 1994, https://doi.org/10.1007/3-540-58179-0.
ISO-690 (author-date, Deutsch)DILL, David L, 1994. Computer Aided Verification : 6 th International Conference, CAV ’94 Stanford, California, USA, June 21–23, 1994 Proceedings. [cd]. 1994. Berlin, Heidelberg: Springer-Verlag. Lecture Notes in Computer Science, 818. ISBN 9783540484691