Communication Dans Un Congrès
Année : 2016
Jérôme Leroux : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02391850
Soumis le : mardi 3 décembre 2019-17:10:05
Dernière modification le : mardi 19 novembre 2024-03:10:32
Dates et versions
Identifiants
- HAL Id : hal-02391850 , version 1
- DOI : 10.4230/LIPIcs.FSTTCS.2016.27
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
24
Consultations
0
Téléchargements