Stochastic Timed Automata

TitleStochastic Timed Automata
Publication TypeJournal Article
Year of Publication2014
AuthorsBertrand, N, Bouyer P, Brihaye T, Menet Q, Baier C, Größer M, Jurdzinski M
JournalCoRR
Volumeabs/1410.2128
URLhttp://arxiv.org/abs/1410.2128