Alur, R., & Peled, D. A. (2004). Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg.
Chicago Style CitationAlur, Rajeev, and Doron A. Peled. Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.
MLA CitationAlur, Rajeev, and Doron A. Peled. Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.
Warning: These citations may not always be 100% accurate.