Verification of linear hybrid systems by means of convex approximations

Details 詳細情報について

• CRID

  1362544419263547392

• DOI

  10.1007/3-540-58485-4_43

• ISSN

  16113349

  03029743

• Web Site

  http://link.springer.com/content/pdf/10.1007/3-540-58485-4_43

• Data Source

  • Crossref