Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny B\ogsted Poulsen, Jonas van Vliet, Zheng Wang. Statistical Model Checking for Networks of Priced Timed Automata. In FORMATS,, Volume, Pages 80-96, 2011.
Axel Legay http://www.irisa.fr/distribcom
@InProceedings{FDLLMPVW11,
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 = {Statistical Model Checking for Networks of Priced Timed Automata},
BookTitle = {FORMATS},
Volume = {},
Pages = {80--96},
Series = {},
Publisher = {},
Year = {2011}
}
Get EndNote Reference (.ref)