Concepedia
Publication | Closed Access
Analysis of Timed Systems Using Time-Abstracting Bisimulations
150
Citations
21
References
2001
Year
Page 1