(1)
Behrmann, G.; Larsen, K. G.; Pearson, J.; Weise, C.; Yi, W. Efficient Timed Reachability Analysis Using Clock Difference Diagrams.
BRICS
1998
,
5
.