TY  - RPRT
TI  - UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata
AU  - Peter Bulychev
AU  - Alexandre David
AU  - Kim Gulstrand Larsen
AU  - Marius Mikučionis
AU  - Danny Bøgsted Poulsen
AU  - Axel Legay
AU  - Zheng Wang
PY  - 2012
DO  - 10.4204/eptcs.85.1
UR  - https://arxiv.org/abs/1207.1272
ID  - 1207.1272
ER  -