[DKN+07]
M. Duflot, M. Kwiatkowska, G. Norman, D. Parker, S. Peyronnet, C. Picaronny and J. Sproston.
Practical Applications of Probabilistic Model Checking to Communication Protocols.
In Handbook of Formal Methods in Industrial Critical Systems (FMICS). To appear.
2007.
[pdf]
[bib]
|
pdf (361 KB)
bib