HU, Alan J und VARDI, Moshe Y, 1998. Computer Aided Verification : 10 th International Conference, CAV’98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings. [cd]. 1998. Berlin, Heidelberg: Springer-Verlag. Lecture Notes in Computer Science, 1427. ISBN 9783540693390.
Elsevier - Harvard (with titles)Hu, A.J., Vardi, M.Y., 1998. Computer Aided Verification : 10 th International Conference, CAV’98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings. Lecture Notes in Computer Science, Lecture Notes in Computer Science. https://doi.org/10.1007/BFb0028725
American Psychological Association 7th editionHu, A. J., & Vardi, M. Y. (ca. 1998). Computer Aided Verification : 10 th International Conference, CAV’98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings [Cd]. In Lecture Notes in Computer Science. Springer-Verlag. https://doi.org/10.1007/BFb0028725
Springer - Basic (author-date)Hu AJ, Vardi MY (1998) Computer Aided Verification : 10 th International Conference, CAV’98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings. Lecture Notes in Computer Science
Juristische Zitierweise (Stüber) (Deutsch)Hu, Alan J/ Vardi, Moshe Y, Computer Aided Verification : 10 th International Conference, CAV’98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings, Lecture Notes in Computer Science 1998, .