Practical Application of Probabilistic Model Checking to Communication Protocols

From LRDE

Revision as of 15:42, 22 October 2013 by Bot (talk | contribs) (Created page with "{{Publication | date = 2006-01-01 | authors = Marie Duflot, Marta Kwiatkowska, Gethin Norman, Dave Parker, Sylvain Peyronnet, Claudine Picaronny, Jeremy Sproston | title = Pra...")
(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},
  project	= {APMC}
}