Efficient detection of Zeno-runs in Timed Automata (2007)
Attributed to:
Addressing Current Limitations of Real-time Model-checking
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Conference/Paper/Proceeding/Abstract