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.
Elsevier - Harvard (with titles)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, Lecture Notes in Computer Science. 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
Springer - Basic (author-date)Dill DL (1994) Computer Aided Verification : 6 th International Conference, CAV ’94 Stanford, California, USA, June 21–23, 1994 Proceedings. Lecture Notes in Computer Science
Juristische Zitierweise (Stüber) (Deutsch)Dill, David L, Computer Aided Verification : 6 th International Conference, CAV ’94 Stanford, California, USA, June 21–23, 1994 Proceedings, Lecture Notes in Computer Science 1994, .