Model Checking Population Protocols - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016
Fichier non déposé

Dates et versions

hal-02391850 , version 1 (03-12-2019)

Identifiants

Citer

Javier Esparza, Pierre Ganty, Jérôme Leroux, Rupak Majumdar. Model Checking Population Protocols. 36th {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2016, December 13-15, 2016, Chennai, India, 2016, Chennai, India. ⟨10.4230/LIPIcs.FSTTCS.2016.27⟩. ⟨hal-02391850⟩

Collections

CNRS
14 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More