Note: This content is accessible to all versions of every browser. However, this browser does not seem to support current Web standards, preventing the display of our site's design details.

  

Verification of Hybrid Systems Using Mathematical Programming: Results on CS1

Author(s):

F.D. Torrisi
Conference/Journal:

Verification of Hybrid Systems Meeting, Amsterdam (The Netherlands), Esprit Project 26270 VHS
Abstract:



Year:

2000
Type of Publication:

(06)Talk
Supervisor:



No Files for download available.
% No recipe for automatically generating a BibTex entry for (06)Talk
Permanent link