Compositional detection of Zeno-behaviour in Timed Automata with Deadlines (2009)

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