Reachability solution characterization of parametric real-time systems
Under an Elsevier user license
open archive
Keywords
Reachability
Timing parameter automata
Cited by (0)
- 1
Supported in part by NSC Grants 92-2213-E-002-103 and 92-2213-E-002-104.
- 2
Partially supported by NSC Grant 92-2213-E-002-018.
Copyright © 2004 Elsevier B.V. All rights reserved.