CAV11

Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang. Time for Statistical Model Checking of Real-Time Systems. In CAV,, Volume, Pages 349-355, 2011.

Contact

Axel Legay http://www.irisa.fr/distribcom

BibTex Reference

@InProceedings{CAV11,
   Author = {David, Alexandre and G. Larsen, Kim and Legay, Axel and Mikucionis, Marius and Wang, Zheng},
   Title = {Time for Statistical Model Checking of Real-Time Systems},
   BookTitle = {CAV},
   Volume = {},
   Pages = {349--355},
   Series = {},
   Publisher = {},
   Year = {2011}
}

EndNote Reference [help]

Get EndNote Reference (.ref)