Compositional detection of Zeno-behaviour in Timed Automata (2006)

First Author: RS Gomez
Attributed to:  Addressing Current Limitations of Real-time Model-checking funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Technical Report