66
Voted
CONCUR
2006
Springer
15 years 16 days ago
2006
Springer
We propose a remedy to that part of the state-explosion problem for timed automata which is due to interleaving of actions. We prove the following quite surprising result: the unio...