ALUR, Rajeev und PELED, Doron, 2004. Computer Aided Verification : 16 th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings. [cd]. 2004. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg. Lecture Notes in Computer Science, 3114. ISBN 9783540278139.
Elsevier - Harvard (with titles)Alur, R., Peled, D., 2004. Computer Aided Verification : 16 th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings. Lecture Notes in Computer Science, Lecture Notes in Computer Science. https://doi.org/10.1007/b98490
American Psychological Association 7th editionAlur, R., & Peled, D. (ca. 2004). Computer Aided Verification : 16 th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings [Cd]. In Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/b98490
Springer - Basic (author-date)Alur R, Peled D (2004) Computer Aided Verification : 16 th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings. Lecture Notes in Computer Science
Juristische Zitierweise (Stüber) (Deutsch)Alur, Rajeev/ Peled, Doron, Computer Aided Verification : 16 th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings, Lecture Notes in Computer Science 2004, .