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
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00914263
Contributor : Nathalie Bertrand <>
Submitted on : Thursday, December 5, 2013 - 11:01:58 AM
Last modification on : Friday, January 8, 2021 - 3:40:02 AM

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

571