|
|
|
|
|
|
|
![](../../../00global/00pics/green-tl.png) |
|
![](../../../00global/00pics/green-tr.png) |
|
Publications - Message-Passing Algorithms for the Verification of Distributed Protocols
|
|
![](../../../00global/00pics/green-bl.png) |
|
![](../../../00global/00pics/green-br.png) |
Reference:
Loïg Jezequel and Javier Esparza. Message-passing algorithms for the verification of distributed protocols. In VMCAI, pages 222–241, 2014.
Suggested BibTeX entry:
@inproceedings{JezequelE14,
author = {Lo\"{\i}g Jezequel and Javier Esparza},
booktitle = {VMCAI},
pages = {222-241},
title = {Message-Passing Algorithms for the Verification of Distributed Protocols},
year = {2014}
}
|
![](../g/pixel.png) |
|
|
|
|
|
|
|
|