Practical Application of Probabilistic Model Checking to Communication Protocols

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}
}