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 Wed Jul 3 05:21:47 2024 CEST.