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
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