ETESSAMI, Kousha, 2005. Computer aided verification : 17 th international conference ; proceedings. [cd]. 2005. Berlin: Springer. Lecture notes in computer science, 3576.
Elsevier - Harvard (with titles)Etessami, K., 2005. Computer aided verification : 17 th international conference ; proceedings. Lecture notes in computer science, Lecture notes in computer science. https://doi.org/10.1007/b138445
American Psychological Association 7th editionEtessami, K. (ca. 2005). Computer aided verification : 17 th international conference ; proceedings [Cd]. In Lecture notes in computer science. Springer. https://doi.org/10.1007/b138445
Springer - Basic (author-date)Etessami K (2005) Computer aided verification : 17 th international conference ; proceedings. Lecture notes in computer science
Juristische Zitierweise (Stüber) (Deutsch)Etessami, Kousha, Computer aided verification : 17 th international conference ; proceedings, Lecture notes in computer science 2005, .