Practical Application of Probabilistic Model Checking to Communication Protocols

From LRDE

Revision as of 10:43, 19 September 2019 by Bot (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


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