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.

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.
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

This list was generated on Sun Sep 14 00:30:13 2025 CEST.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.