Jonas van Vliet

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

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