GRUMBERG, Orna, 1997. Computer Aided Verification : 9 th International Conference, CAV’97 Haifa, Israel, June 22–25, 1997 Proceedings. [cd]. 1997. Berlin, Heidelberg: Springer-Verlag. Lecture Notes in Computer Science, 1254. ISBN 9783540691952.
Elsevier - Harvard (with titles)Grumberg, O., 1997. Computer Aided Verification : 9 th International Conference, CAV’97 Haifa, Israel, June 22–25, 1997 Proceedings. Lecture Notes in Computer Science, Lecture Notes in Computer Science. https://doi.org/10.1007/3-540-63166-6
American Psychological Association 7th editionGrumberg, O. (ca. 1997). Computer Aided Verification : 9 th International Conference, CAV’97 Haifa, Israel, June 22–25, 1997 Proceedings [Cd]. In Lecture Notes in Computer Science. Springer-Verlag. https://doi.org/10.1007/3-540-63166-6
Springer - Basic (author-date)Grumberg O (1997) Computer Aided Verification : 9 th International Conference, CAV’97 Haifa, Israel, June 22–25, 1997 Proceedings. Lecture Notes in Computer Science
Juristische Zitierweise (Stüber) (Deutsch)Grumberg, Orna, Computer Aided Verification : 9 th International Conference, CAV’97 Haifa, Israel, June 22–25, 1997 Proceedings, Lecture Notes in Computer Science 1997, .