From LIDL(m) to Timed Automata (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