Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models.

Susanna Donatelli, Serge Haddad

Browse the full LATA paper archive.