BOCHMANN, Gregor und PROBST, David Karl, 1993. Computer Aided Verification : Fourth International Workshop, CAV ’92 Montreal, Canada, June 29 – July 1, 1992 Proceedings. [cd]. 1993. Berlin, Heidelberg: Springer-Verlag. Lecture Notes in Computer Science, 663. ISBN 9783540475729.
Elsevier - Harvard (with titles)Bochmann, G., Probst, D.K., 1993. Computer Aided Verification : Fourth International Workshop, CAV ’92 Montreal, Canada, June 29 – July 1, 1992 Proceedings. Lecture Notes in Computer Science, Lecture Notes in Computer Science. https://doi.org/10.1007/3-540-56496-9
American Psychological Association 7th editionBochmann, G., & Probst, D. K. (ca. 1993). Computer Aided Verification : Fourth International Workshop, CAV ’92 Montreal, Canada, June 29 – July 1, 1992 Proceedings [Cd]. In Lecture Notes in Computer Science. Springer-Verlag. https://doi.org/10.1007/3-540-56496-9
Springer - Basic (author-date)Bochmann G, Probst DK (1993) Computer Aided Verification : Fourth International Workshop, CAV ’92 Montreal, Canada, June 29 – July 1, 1992 Proceedings. Lecture Notes in Computer Science
Juristische Zitierweise (Stüber) (Deutsch)Bochmann, Gregor/ Probst, David Karl, Computer Aided Verification : Fourth International Workshop, CAV ’92 Montreal, Canada, June 29 – July 1, 1992 Proceedings, Lecture Notes in Computer Science 1993, .