Search Results - Ball, Thomas, 1965-

  • Showing 1 - 4 results of 4
Refine Results
  1. 1
    Cover Image

    Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings /

    Published 2003
    Other Authors: “…Ball, Thomas, 1965-…”
    Full Text (via Springer)
    Conference Proceeding eBook

    Save to List
    Saved in:
  2. 2
    Cover Image

    Computer aided verification 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /

    Published 2006
    Other Authors: “…Ball, Thomas, 1965-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  3. 3
    Cover Image

    Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings /

    Published 2006
    Other Authors: “…Ball, Thomas, 1965-…”
    Conference Proceeding Book

    Save to List
    Saved in:
  4. 4
    Cover Image

    Theoretical computer science 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, the Netherlands, September 26-28, 2012, proceedings /

    Published 2012
    Other Authors: “…Ball, Thomas, 1965-…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search