![](/img/cover-not-exists.png)
Analysis of Timed Systems Using Time-Abstracting Bisimulations
Stavros Tripakis, Sergio YovineVolume:
18
Language:
english
Pages:
44
DOI:
10.1023/a:1008734703554
Date:
January, 2001
File:
PDF, 354 KB
english, 2001