Performance analysis and true concurrency semantics (Contributo in volume (capitolo o saggio))

Type
Label
  • Performance analysis and true concurrency semantics (Contributo in volume (capitolo o saggio)) (literal)
Anno
  • 1994-01-01T00:00:00+01:00 (literal)
Alternative label
  • BRINKSMA E; KATOEN J.P.; LANGERAK R.; LATELLA D (1994)
    Performance analysis and true concurrency semantics
    World Scientific, Singapore (Singapore) in Theories and Experiences for Real-Time System Development, 1994
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • BRINKSMA E; KATOEN J.P.; LANGERAK R.; LATELLA D (literal)
Pagina inizio
  • 309 (literal)
Pagina fine
  • 337 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
  • Theories and Experiences for Real-Time System Development (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana
  • 2 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Univ. of Twente; Univ. of Twente; Univ. of Twente; CNR-CNUCE (literal)
Titolo
  • Performance analysis and true concurrency semantics (literal)
Editore
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
Editore di
data.CNR.it