The top documents tagged [timed automata]
CSTalks - Model Checking - 26 Jan
552 views
Real time systems
24 views
Petri Net
179 views
Petri Net
109 views
Uppaal Lite
1.373 views
HPPS 2008 - Filieri
326 views
Computation Theory Topic
118 views