Model Checking Population Protocols

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.

[img] Text
LIPIcs.FSTTCS.2016.27 - Published Version

Download (10kB)


Actions (login required)

View Item View Item