HUNT, Warren A und SOMENZI, Fabio, 2003. Computer Aided Verification : 15 th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings. [cd]. 2003. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg. Lecture Notes in Computer Science, 2725. ISBN 9783540450696.
Elsevier - Harvard (with titles)Hunt, W.A., Somenzi, F., 2003. Computer Aided Verification : 15 th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings. Lecture Notes in Computer Science, Lecture Notes in Computer Science. https://doi.org/10.1007/b11831
American Psychological Association 7th editionHunt, W. A., & Somenzi, F. (ca. 2003). Computer Aided Verification : 15 th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings [Cd]. In Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/b11831
Springer - Basic (author-date)Hunt WA, Somenzi F (2003) Computer Aided Verification : 15 th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings. Lecture Notes in Computer Science
Juristische Zitierweise (Stüber) (Deutsch)Hunt, Warren A/ Somenzi, Fabio, Computer Aided Verification : 15 th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings, Lecture Notes in Computer Science 2003, .