|
|
|
|
|
|
|
![](../../../00global/00pics/green-tl.png) |
|
![](../../../00global/00pics/green-tr.png) |
|
Publications - Verification of Population Protocols
|
|
![](../../../00global/00pics/green-bl.png) |
|
![](../../../00global/00pics/green-br.png) |
Reference:
Jérôme Leroux Javier Esparza, Pierre Ganty and Rupak Majumdar. Verification of population protocols. In CONCUR, 2015.
Suggested BibTeX entry:
@inproceedings{DBLP:confcavEGLM15,
author = {Javier Esparza, Pierre Ganty, J\'er\^{o}me Leroux and Rupak Majumdar},
booktitle = {CONCUR},
title = {Verification of Population Protocols},
year = {2015}
}
|
![](../g/pixel.png) |
|
|
|
|
|
|
|
|