Parameterized verification of many identical probabilistic timed processes - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Parameterized verification of many identical probabilistic timed processes

Nathalie Bertrand
  • Function : Author
  • PersonId : 838273
SUpervision of large MOdular and distributed systems
Paulin Fournier
  • Function : Author
  • PersonId : 949397
SUpervision of large MOdular and distributed systems

Domains

Computer Science and Game Theory [cs.GT]

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

No file

Dates and versions

hal-00914263 , version 1 (05-12-2013)

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSTITUT-TELECOM EC-PARIS UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA IRISA-D4 INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES ANR UR1-MATH-NUM
290 View
0 Download

Share

Gmail Facebook X LinkedIn More