CRIS Current Research Information System

R. LANOTTE, A. MAGGIOLO-SCHETTINI, A. TROINA (2005). Timed Automata with Data Structures for Distributed Systems Design and Analysis. IEEE CSP [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
R. LANOTTE, A. MAGGIOLO-SCHETTINI, A. TROINA (2005). Timed Automata with Data Structures for Distributed Systems Design and Analysis. IEEE CSP [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 4
  • ???jsp.display-item.citation.isi??? 2
social impact