EMERSON, E. Allen und SISTLA, Aravinda Prasad, 2000. Computer Aided Verification : 12 th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings. [cd]. 2000. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg. Lecture Notes in Computer Science, 1855. ISBN 9783540450474.
Elsevier - Harvard (with titles)Emerson, E.A., Sistla, A.P., 2000. Computer Aided Verification : 12 th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings. Lecture Notes in Computer Science, Lecture Notes in Computer Science. https://doi.org/10.1007/10722167
American Psychological Association 7th editionEmerson, E. A., & Sistla, A. P. (ca. 2000). Computer Aided Verification : 12 th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings [Cd]. In Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/10722167
Springer - Basic (author-date)Emerson EA, Sistla AP (2000) Computer Aided Verification : 12 th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings. Lecture Notes in Computer Science
Juristische Zitierweise (Stüber) (Deutsch)Emerson, E. Allen/ Sistla, Aravinda Prasad, Computer Aided Verification : 12 th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000. Proceedings, Lecture Notes in Computer Science 2000, .