The top documents tagged [timed automata]
CSTalks - Model Checking - 26 Jan
554 views
Real time systems
29 views
Petri Net
179 views
Petri Net
110 views
Uppaal Lite
1.377 views
HPPS 2008 - Filieri
328 views
Computation Theory Topic
118 views