108
Voted
VMCAI
2010
Springer
16 years 26 days ago
2010
Springer
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...