CAV (Conference) Trento, Italy), SpringerLink (Online service), Halbwachs, N., & Peled, D. A. (1999). Computer Aided Verification: 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 ; proceedings. Springer.
Chicago Style (17th ed.) CitationCAV (Conference) Trento, Italy), SpringerLink (Online service), Nicolas Halbwachs, and Doron A. Peled. Computer Aided Verification: 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 ; Proceedings. Berlin ; London: Springer, 1999.
MLA (9th ed.) CitationCAV (Conference) Trento, Italy), et al. Computer Aided Verification: 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999 ; Proceedings. Springer, 1999.
Warning: These citations may not always be 100% accurate.