PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata.
Mathematics in Computer Science. Bd. 5. H. 4. 2011 S. 469 - 497
Erscheinungsjahr: 2011
Publikationstyp: Zeitschriftenaufsatz
Doi/URN: 10.1007/s11786-011-0098-x
| Geprüft | Bibliothek |
