Skip to Main content Skip to Navigation
Conference papers

Parameterized verification of many identical probabilistic timed processes

Nathalie Bertrand 1 Paulin Fournier 1 
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00914263
Contributor : Nathalie Bertrand Connect in order to contact the contributor
Submitted on : Thursday, December 5, 2013 - 11:01:58 AM
Last modification on : Thursday, January 20, 2022 - 4:16:17 PM

Identifiers

  • HAL Id : hal-00914263, version 1

Citation

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⟩

Share

Metrics

Record views

284