TY  - RPRT
TI  - Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata
AU  - Alexandre David
AU  - Kim G. Larsen
AU  - Axel Legay
AU  - Marius Mikučionis
AU  - Danny Bøgsted Poulsen
AU  - Jonas van Vliet
AU  - Zheng Wang
PY  - 2014
UR  - https://arxiv.org/abs/1106.3961
ID  - 1106.3961
ER  -