D | |
---|---|
[DLL+11] | Alexandre David,
Kim Guldstrand Larsen,
Axel Legay,
Marius Mikučionis,
Danny Bøgsted Poulsen,
Jonas van Vliet et
Zheng Wang.
Statistical Model Checking for Networks of Priced
Timed Automata.
In FORMATS'11,
Lecture Notes in Computer Science 6919, pages 80-96. Springer-Verlag, septembre 2011.
|
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
- 1
- 1
- 1
- 1
- 1