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...") |
|||
| (7 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{Publication |
{{Publication |
||
| + | | 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 |
||
| Line 7: | Line 8: | ||
| chapter = 7 |
| chapter = 7 |
||
| note = To appear |
| note = To appear |
||
| − | | |
+ | | lrdeprojects = APMC |
| − | | urllrde = 200600-BOOK |
||
| type = incollection |
| type = incollection |
||
| id = duflot.06.book |
| id = duflot.06.book |
||
| Line 22: | Line 22: | ||
editor = <nowiki>{</nowiki>Stefania Gnesi and Tiziana Margaria<nowiki>}</nowiki>, |
editor = <nowiki>{</nowiki>Stefania Gnesi and Tiziana Margaria<nowiki>}</nowiki>, |
||
chapter = 7, |
chapter = 7, |
||
| − | note = <nowiki>{</nowiki>To appear<nowiki>}</nowiki> |
+ | note = <nowiki>{</nowiki>To appear<nowiki>}</nowiki> |
| − | project = <nowiki>{</nowiki>APMC<nowiki>}</nowiki> |
||
<nowiki>}</nowiki> |
<nowiki>}</nowiki> |
||
Latest revision as of 11:43, 19 September 2019
- 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}
}