CAV: Computer Aided Verification

Published by: Springer  

Groups

  1. Henzinger Group (48)
  2. Chatterjee Group (18)
  3. Alumni (13)
  4. PhD Students (6)
  5. IST Fellow (4)
  6. Graduate School (3)
  7. Guet Group (2)

Results (55)

  • A determinizable class of timed automata
    Conference paper
  • CAV: Computer Aided Verification
    Edited conference proceeding
  • Lazy shape analysis
    Conference paper
  • CAV: Computer Aided Verification – authorized name for:

    Name ISSN/ISBN Publisher
    CAV 2007 978-3540733676 Springer
    CAV 2014 Elsevier
    CAV Computer Aided Verification Springer
    CAV: Computer Aided Verification Springer
    CAV: Computer Aided Verification 978-3-319-63390-9 Springer
    CAV: Computer Aided Verification Springer
    CAV: Computer Aided Verification 9781450307147 ACM
    CAV: Computer Aided Verification 9781450307147 Springer
    CAV: Computer Aided Verification 9781450307147 Elsevier
    CAV: Computer Aided Verification 978-3-642-22109-5 Springer
    CAV: Computer Aided Verification 978-331963386-2 Springer
    CAV: Computer Aided Verification 978-3-540-56922-0 Springer
    CAV: Computer Aided Verification 978-3-642-14294-9 Springer
    CAV: Computer Aided Verification 978-3-540-58179-6 Springer
    CAV: Computer Aided Verification 978-3-540-60045-9 Springer
    CAV: Computer Aided Verification 3-642-02657-5 Springer
    CAV: Computer Aided Verification 3-642-02657-5 Springer
    CAV: Computer Aided Verification 3-540-73367-1 Springer
    CAV: Computer Aided Verification 978-3-540-63166-8 Springer
    CAV: Computer Aided Verification 3-540-37406-X Springer
    CAV: Computer Aided Verification 978-3-540-64608-2 Springer
    CAV: Computer Aided Verification 978-3-540-64608-2 Springer
    CAV: Computer Aided Verification 978-3-540-66202-0 Springer
    CAV: Computer Aided Verification 3-540-40524-0 Springer
    CAV: Computer Aided Verification 3-540-43997-8 Springer
    CAV: Computer Aided Verification 3-540-43997-8 Springer
    CAV: Computer Aided Verification 978-3-540-67770-3 Springer
    CAV: Computer Aided Verification 978-3-540-58179-6 Springer
    CAV: Computer Aided Verification 978-3-540-63166-8 Springer
    CAV: Computer Aided Verification 978-364-231423-0S Elsevier
    CAV: Computer Aided Verification 978-3-642-31423-0 Springer
    CAV: Computer Aided Verification 978-364-231423-0S Springer
    CAV: Computer Aided Verification 978-364239798-1 Springer
    CAV: Computer Aided Verification 10.1007/978-3-642-39799-8_68 Springer
    CAV: Computer Aided Verification 978-3-319-08866-2 Springer
    CAV: Computer Aided Verification 978-331908866-2 Springer
    CAV: Computer Aided Verification 978-366245607-1 Springer
    CAV: Computer Aided Verification 978-3-319-21667-6 Springer
    CAV: Computer Aided Verification 978-331921689-8 Springer
    CAV: Computer Aided Verification 978-331921667-6 Springer
    CAV: Computer Aided Verification 978-331941539-0 Springer
    CAV: Computer Aided Verification 978-331941527-7 Springer
    CAV: Computer-Aided Verification 978-3540733676 Springer
    CAV: Computer-Aided Verification (LNCS 4590) Springer
    CAV: Computer-Aided Verification, Springer
    Computer Aided Verification 978-3-642-22109-5, 978-3-642-22110-1 Springer
    Computer Aided Verification (CAV) 2007 978-3540733676 Springer
    Computer Aided Verification (CAV) 2007 Springer
    Computer Aided Verification (CAV) 2008 978-3540705437 Springer
    Computer Aided Verification (CAV) 2008 978-3-540-70543-7 Springer
    Computer Aided Verification (CAV) 2009 978-3642026577 Springer
    Computer Aided Verification (CAV) 2010 978-3642142949 Springer
    Computer Aided Verification (CAV) 2010 Springer
    Computer Aided Verification, Proceedings Elsevier
    Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings 978-3642026577 Springer
    Computer Aided Verification: 22nd International Conference, CAV 2010 978-3-642-14294-9 Elsevier
    Computer Aided Verification: 22nd International Conference, CAV 2010 978-3-642-14294-9 Springer
    Computer Aided Verification: 22nd International Conference, CAV 2010 978-3-642-14294-9 Lecture Notes in Computer Science
    Computer Aided Verification: 22nd International Conference, CAV 2010 978-3-642-14294-9 Elsevier
    Computer Aided Verification: 22nd International Conference, CAV 2010 978-3-642-14294-9 Springer
    Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, Uk, July 15-19, 2010, Proceedings 978-3642142949 Springer
    Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, Uk, July 15-19, 2010, Proceedings 978-3642142949 Springer
    Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, Uk, July 15-19, 2010, Proceedings Elsevier
    Computer-Aided Verification (CAV) 978-3642142949 Springer
    Computer-Aided Verification (CAV) 2006 978-3540374060 Springer
    Computer-Aided Verification (CAV) 2007 978-3540733676 Springer
    Computer-Aided Verification (CAV) 2009 Springer
    Computer-Aided Verification (CAV) 2009 978-3642026577 Springer
    Computer-Aided Verification (CAV) 2009 Springer