Communication Dans Un Congrès
Année : 2013
Nathalie Bertrand : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00914263
Soumis le : jeudi 5 décembre 2013-11:01:58
Dernière modification le : vendredi 24 mars 2023-14:52:57
Dates et versions
Identifiants
- HAL Id : hal-00914263 , version 1
Citer
Nathalie Bertrand, Paulin Fournier. Parameterized verification of many identical probabilistic timed processes. 33rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'13), Dec 2013, Guwahati, India. pp.501-513. ⟨hal-00914263⟩
Collections
290
Consultations
0
Téléchargements