First passage time analysis of stochastic process algebra using partial orders (Contributo in atti di convegno)

Type
Label
  • First passage time analysis of stochastic process algebra using partial orders (Contributo in atti di convegno) (literal)
Anno
  • 2001-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1007/3-540-45319-9_16 (literal)
Alternative label
  • RUYS T; LANGERAK R; KATOEN J; LATELLA D; MASSINK M (2001)
    First passage time analysis of stochastic process algebra using partial orders
    in TACAS 2001
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • RUYS T; LANGERAK R; KATOEN J; LATELLA D; MASSINK M (literal)
Pagina inizio
  • 220 (literal)
Pagina fine
  • 235 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://link.springer.com/chapter/10.1007/3-540-45319-9_16 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
  • Tools and Algorithms for the Construction and Analysis of Systems (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana
  • LNCS 2031 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Univ. of Twente; Univ. of Twente; Univ. of Twente; CNR-CNUCE; CNR-CNUCE (literal)
Titolo
  • First passage time analysis of stochastic process algebra using partial orders (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 978-3-540-41865-8 (literal)
Editore
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
Editore di
data.CNR.it