CAV: Computer Aided Verification

R. Alur, T.A. Henzinger, CAV: Computer Aided Verification, Springer, 1996.

Download
No fulltext has been uploaded. References only!

DOI
Conference (Editor) | Published
forms.conference_editor.field.author.label
Series Title
LNCS
Publishing Year
Date Published
1996-01-01
forms.conference_editor.field.publication.label
CAV: Computer Aided Verification
Volume
1102
IST-REx-ID

Cite this

Alur R, Henzinger TA. CAV: Computer Aided Verification. Vol 1102. Springer; 1996. doi:1075
Alur, R., & Henzinger, T. A. (1996). CAV: Computer Aided Verification. CAV: Computer Aided Verification (Vol. 1102). Springer. https://doi.org/1075
Alur, Rajeev, and Thomas A Henzinger. CAV: Computer Aided Verification. CAV: Computer Aided Verification. Vol. 1102. Springer, 1996. https://doi.org/1075.
R. Alur and T. A. Henzinger, CAV: Computer Aided Verification, vol. 1102. Springer, 1996.
Alur R, Henzinger TA. 1996. CAV: Computer Aided Verification, Springer,p.
Alur, Rajeev, and Thomas A. Henzinger. “CAV: Computer Aided Verification.” CAV: Computer Aided Verification, vol. 1102, Springer, 1996, doi:1075.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar