Efficient detection of Zeno-runs in Timed Automata (2007)

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

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract