Metric semantics for true concurrent real time (Articolo in rivista)

Type

• Prodotto della ricerca (Classe)
• Articolo in rivista (Classe)

Label

• Metric semantics for true concurrent real time (Articolo in rivista) (literal)

Anno

• 2001-01-01T00:00:00+01:00 (literal)

Alternative label

• Katoen J-P; Baier C.; Latella D. (2001)
  Metric semantics for true concurrent real time
  in Theoretical computer science
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Katoen J-P; Baier C.; Latella D. (literal)

Pagina inizio

• 501 (literal)

Pagina fine

• 542 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume

• 254 (literal)

Rivista

• Theoretical computer science (Rivista)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note

• THEORETICAL COMPUTER SCIENCE, 254, 501-542, 2001. Theoretical Computer Science. Elsevier (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo

• 1-2 (literal)

Note

• Scopu (literal)
• ISI Web of Science (WOS) (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• Friedrich-Alexander-Universitaat Erlangen-Nurnberg; Universitaat Mannheim; CNR- CNUCE (literal)

Titolo

• Metric semantics for true concurrent real time (literal)

Prodotto di

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Autore CNR

• DIEGO LATELLA (Persona)

Incoming links:

Autore CNR di

• DIEGO LATELLA (Persona)

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi

• Theoretical computer science (Rivista)