Showing 1 - 4 results of 4 for search 'Cook, Byron', query time: 0.03s Refine Results
  1. 1
    Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings /
    Published 2007
    Other Authors: “…Cook, Byron…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings
    by Touili, Tayssir
    Published 2010
    Other Authors: “…Cook, Byron…”
    Get full text
    Electronic Kit Book
  3. 3
    Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings /
    Published 2010
    Other Authors: “…Cook, Byron…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings /
    Published 2009
    Other Authors: “…Cook, Byron…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search