BERRY, Gérard, COMON, Hubert und FINKEL, Alain, 2001. Computer Aided Verification : 13 th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings. [cd]. 2001. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg. Lecture Notes in Computer Science, 2102. ISBN 9783540445852.
Elsevier - Harvard (with titles)Berry, G., Comon, H., Finkel, A., 2001. Computer Aided Verification : 13 th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings. Lecture Notes in Computer Science, Lecture Notes in Computer Science. https://doi.org/10.1007/3-540-44585-4
American Psychological Association 7th editionBerry, G., Comon, H., & Finkel, A. (ca. 2001). Computer Aided Verification : 13 th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings [Cd]. In Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/3-540-44585-4
Springer - Basic (author-date)Berry G, Comon H, Finkel A (2001) Computer Aided Verification : 13 th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings. Lecture Notes in Computer Science
Juristische Zitierweise (Stüber) (Deutsch)Berry, Gérard/ Comon, Hubert/ Finkel, Alain, Computer Aided Verification : 13 th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings, Lecture Notes in Computer Science 2001, .