Statistical Model Checking for Networks of Priced Timed Automata. - Alexandre David; Kim G. Larsen; Axel Legay; Marius Mikucionis; Danny Bøgsted Poulsen; Jonas van Vliet; Zheng Wang 005 (FORMATS, 2011)

Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata - Alexandre David; Kim G. Larsen; Axel Legay; Marius Mikucionis; Danny Bøgsted Poulsen; Jonas van Vliet; Zheng Wang 005 (CoRR, 2011)