CRIS Current Research Information System

Timed Automata with Data Structures for Distributed Systems Design and Analysis / R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA. - In: PROCEEDINGS OF THE IEEE. - ISSN 0018-9219. - STAMPA. - (2005), pp. 44-53. (Intervento presentato al convegno Third IEEE International Conference on Software Engineering and Formal Methods, 2005. SEFM 2005 tenutosi a Koblenz, Germany nel September 2005) [10.1109/SEFM.2005.49].

Timed Automata with Data Structures for Distributed Systems Design and Analysis

TROINA, ANGELO
2005
2005
Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on
44
53
Timed Automata with Data Structures for Distributed Systems Design and Analysis / R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA. - In: PROCEEDINGS OF THE IEEE. - ISSN 0018-9219. - STAMPA. - (2005), pp. 44-53. (Intervento presentato al convegno Third IEEE International Conference on Software Engineering and Formal Methods, 2005. SEFM 2005 tenutosi a Koblenz, Germany nel September 2005) [10.1109/SEFM.2005.49].
R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA
4.01 Contributo in Atti di convegno
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/581063
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 2
social impact