Items where Author is "Leroux, Jérôme"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.

Conference or Workshop Item (A Paper)

Esparza, Javier and Ganty, Pierre and Leroux, Jérôme and Majumdar, Rupak
(2016) Model Checking Population Protocols.
In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India.

Esparza, Javier and Ganty, Pierre and Leroux, Jérôme and Majumdar, Rupak
(2015) Verification of Population Protocols.
In: 26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015.
Conference: CONCUR International Conference on Concurrency Theory

Article

Esparza, Javier and Ganty, Pierre and Leroux, Jérôme and Majumdar, Rupak
(2017) Verification of population protocols.
Acta Inf., 54 (2). 191–215.

This list was generated on Fri Dec 3 00:04:30 2021 CET.