Showing 1 - 1 results of 1 for search '', query time: 0.02s Refine Results
  1. 1

    Verification and control of hybrid systems : a symbolic approach / by Tabuada, Paulo

    Published 2010
    Book