Difference between revisions of "Publications/duflot.06.book"
From LRDE
(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...") |
|||
Line 9: | Line 9: | ||
| project = APMC |
| project = APMC |
||
| urllrde = 200600-BOOK |
| urllrde = 200600-BOOK |
||
+ | | lrdeprojects = APMC |
||
| type = incollection |
| type = incollection |
||
| id = duflot.06.book |
| id = duflot.06.book |
||
Line 23: | Line 24: | ||
chapter = 7, |
chapter = 7, |
||
note = <nowiki>{</nowiki>To appear<nowiki>}</nowiki>, |
note = <nowiki>{</nowiki>To appear<nowiki>}</nowiki>, |
||
− | project = <nowiki>{</nowiki>APMC<nowiki>}</nowiki> |
+ | project = <nowiki>{</nowiki>APMC<nowiki>}</nowiki>, |
+ | lrdeprojects = <nowiki>{</nowiki>APMC<nowiki>}</nowiki> |
||
<nowiki>}</nowiki> |
<nowiki>}</nowiki> |
||
Revision as of 18:07, 4 November 2013
- 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}, project = {APMC}, lrdeprojects = {APMC} }