Difference between revisions of "Publications/duflot.06.book"

From LRDE

Line 1: Line 1:
 
{{Publication
 
{{Publication
| published = false
+
| published = true
 
| date = 2006-01-01
 
| date = 2006-01-01
 
| authors = Marie Duflot, Marta Kwiatkowska, Gethin Norman, Dave Parker, Sylvain Peyronnet, Claudine Picaronny, Jeremy Sproston
 
| authors = Marie Duflot, Marta Kwiatkowska, Gethin Norman, Dave Parker, Sylvain Peyronnet, Claudine Picaronny, Jeremy Sproston

Revision as of 00:01, 5 January 2018


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