Showing 1 - 2 results of 2 for search 'Henzinger, Thomas A.', query time: 0.01s Refine Results
  1. 1

    Computer aided verification /

    Published 1996
    Other Authors:
    Conference Proceeding Book
  2. 2

    Hybrid systems III : verification and control /

    Published 1996
    Other Authors:
    Conference Proceeding Book