Proceedings of the 21st International Conference on Computer Aided Verification | Guide Proceedings

CAV '09: Proceedings of the 21st International Conference on Computer Aided Verification

Go to Proceedings of the 21st International Conference on Computer Aided Verification

June 2009

2009 Proceeding

Editors:
Ahmed Bouajjani
LIAFA, University Paris Diderot (Paris 7), Case 7014, Paris Cedex 13, France 75205
,
Oded Maler
Verimag, Centre Equation, Gières, France 38610

Publisher:

Springer-Verlag
Berlin, Heidelberg

Conference:

Grenoble France 26 June 2009- 2 July 2009

ISBN:

978-3-642-02657-7

Published:

23 June 2009

Bibliometrics

No abstract available.

Select All

Export Citations Save to Binder

Section: Invited Tutorials

Section: Invited Talks

Section: Regular Papers

Section: Tool Papers

Contributors

Ahmed Bouajjani
University of Paris
- Publication Years1988 - 2024
- Publication counts122
- Citation count2,455
- Available for Download19
- Downloads (cumulative)10,367
- Downloads (12 months)923
- Downloads (6 weeks)142
- Average Downloads per Article546
- Average Citation per Article20
View Full Profile
Oded Maler
Grenoble Alpes University
- Publication Years1986 - 2016
- Publication counts93
- Citation count1,622
- Available for Download6
- Downloads (cumulative)1,434
- Downloads (12 months)89
- Downloads (6 weeks)14
- Average Downloads per Article239
- Average Citation per Article17
View Full Profile

Please enable JavaScript to view thecomments powered by Disqus.

Recommendations