Difference between revisions of "Publications/duflot.06.book"
From LRDE
| (One intermediate revision by the same user not shown) | |
(No difference)
| |
Latest revision as of 11:43, 19 September 2019
- Authors
- Marie Duflot, Marta Kwiatkowska, Gethin Norman, Dave Parker, Sylvain Peyronnet, Claudine Picaronny, Jeremy Sproston
- Where
- FMICS Handbook on Industrial Critical Systems
- Type
- incollection
- Projects
- APMC
- Date
- 2006-01-01
Bibtex (lrde.bib)
@InCollection{ duflot.06.book,
author = {Marie Duflot and Marta Kwiatkowska and Gethin Norman and
Dave Parker and Sylvain Peyronnet and Claudine Picaronny
and Jeremy Sproston},
title = {Practical Application of Probabilistic Model Checking to
Communication Protocols},
booktitle = {FMICS Handbook on Industrial Critical Systems},
year = 2006,
editor = {Stefania Gnesi and Tiziana Margaria},
chapter = 7,
note = {To appear}
}