Conference Papers
Year : 2013
Nathalie Bertrand : Connect in order to contact the contributor
https://inria.hal.science/hal-00914263
Submitted on : Thursday, December 5, 2013-11:01:58 AM
Last modification on : Friday, March 24, 2023-2:52:57 PM
Dates and versions
Identifiers
- HAL Id : hal-00914263 , version 1
Cite
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
286
View
0
Download