Number of items: 3.
Esparza, Javier and Ganty, Pierre and Leroux, Jérôme and Majumdar, Rupak
(2017)
Verification of population protocols.
Acta Inf., 54 (2).
191–215.
Esparza, Javier and Ganty, Pierre and Leroux, Jérôme and Majumdar, Rupak
(2016)
Model Checking Population Protocols.
Esparza, Javier and Ganty, Pierre and Leroux, Jérôme and Majumdar, Rupak
(2015)
Verification of Population Protocols.
This list was generated on Thu Apr 25 14:48:09 2024 CEST.