Reachability solution characterization of parametric real-time systems

Farn Wang, Hsu-Chun Yen. Reachability solution characterization of parametric real-time systems. Theoretical Computer Science, 328(1-2):187-201, 2004. [doi]

Abstract

Abstract is missing.