|
|
|
|
|
|
|
![](../../../00global/00pics/green-tl.png) |
|
![](../../../00global/00pics/green-tr.png) |
|
Publications - Model Checking Population Protocols
|
|
![](../../../00global/00pics/green-bl.png) |
|
![](../../../00global/00pics/green-br.png) |
Reference:
Javier Esparza, Pierre Ganty, Jerome Leroux, and Rupak Majumdar. Model checking population protocols. Technical report, Technical University of Munich, 2016. Submitted for publication.
Suggested BibTeX entry:
@techreport{fsttcs16,
author = {Javier Esparza and Pierre Ganty and Jerome Leroux and Rupak Majumdar},
institution = {Technical University of Munich},
note = {Submitted for publication},
title = {Model Checking Population Protocols},
year = {2016}
}
|
![](../g/pixel.png) |
|
|
|
|
|
|
|
|