8th International Conference on Computer Aided Verification
Henzinger TA, Alur R eds. 1996. 8th International Conference on Computer Aided Verification, Springer,p.
Download
No fulltext has been uploaded. References only!
Conference (Editor)
| Published
| English
Editor
Henzinger, Thomas AISTA 
;
Alur, Rajeev
;
Alur, RajeevSeries Title
LNCS
Publishing Year
Date Published
1996-01-01
Publisher
Springer
Volume
1102
Conference
CAV: Computer Aided Verification
Conference Location
New Brunswick, NJ, United States of America
Conference Date
1996-07-31 – 1996-08-03
IST-REx-ID
Cite this
Henzinger TA, Alur R, eds. 8th International Conference on Computer Aided Verification. Vol 1102. Springer; 1996. doi:10.1007/3-540-61474-5
Henzinger, T. A., & Alur, R. (Eds.). (1996). 8th International Conference on Computer Aided Verification (Vol. 1102). Presented at the CAV: Computer Aided Verification, New Brunswick, NJ, United States of America: Springer. https://doi.org/10.1007/3-540-61474-5
Henzinger, Thomas A, and Rajeev Alur, eds. 8th International Conference on Computer Aided Verification. Vol. 1102. Springer, 1996. https://doi.org/10.1007/3-540-61474-5.
T. A. Henzinger and R. Alur, Eds., 8th International Conference on Computer Aided Verification, vol. 1102. Springer, 1996.
Henzinger TA, Alur R eds. 1996. 8th International Conference on Computer Aided Verification, Springer,p.
Henzinger, Thomas A., and Rajeev Alur, editors. 8th International Conference on Computer Aided Verification. Vol. 1102, Springer, 1996, doi:10.1007/3-540-61474-5.
Link(s) to Main File(s)
Access Level
Closed Access
Google Scholar