PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata
Mathematics in Computer Science. Bd. 5. H. 4. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2011 S. 469 - 497
Erscheinungsjahr: 2011
ISBN/ISSN: 1661-8289
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.1007/s11786-011-0098-x
| Geprüft | Bibliothek |
Autoren
Damm, Werner (Autor)
Ihlemann, Carsten (Autor)
Sofronie-Stokkermans, Viorica (Autor)
