A consistent causality based view on a timed process algebra including urgent interactions (Articolo in rivista)

Type
Label
  • A consistent causality based view on a timed process algebra including urgent interactions (Articolo in rivista) (literal)
Anno
  • 1998-01-01T00:00:00+01:00 (literal)
Alternative label
  • J.P. KATOEN; LATELLA D; R. LANGERAK; E. BRINKSMA; T. BOLOGNESI (1998)
    A consistent causality based view on a timed process algebra including urgent interactions
    in Formal methods in system design
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • J.P. KATOEN; LATELLA D; R. LANGERAK; E. BRINKSMA; T. BOLOGNESI (literal)
Pagina inizio
  • 189 (literal)
Pagina fine
  • 216 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 12 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo
  • 2 (literal)
Note
  • ISI Web of Science (WOS) (literal)
  • Scopu (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Univ. of Twente; CNR-CNUCE; Univ. of Twente; Univ. of Twente; CNR-CNUCE (literal)
Titolo
  • A consistent causality based view on a timed process algebra including urgent interactions (literal)
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
data.CNR.it