Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny B\ogsted Poulsen, Jonas van Vliet, Zheng Wang. Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata. CoRR, (0), 2011.
Axel Legay http://www.irisa.fr/distribcom
@article{DLLMBVW11,
Author = {David, Alexandre and G. Larsen, Kim and Legay, Axel and Mikucionis, Marius and B\ogsted Poulsen, Danny and van Vliet, Jonas and Wang, Zheng},
Title = {Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata},
Journal = {CoRR},
Volume = {},
Number = {0},
Year = {2011}
}
Get EndNote Reference (.ref)