Compositional detection of Zeno-behaviour in Timed Automata (2006)
Attributed to:
Addressing Current Limitations of Real-time Model-checking
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Technical Report