Home
DCC eCatalog
L.__Fribourg
A Closed-Form Evaluation for Extended Timed Automata
