CRIS Current Research Information System

R. LANOTTE, A. MAGGIOLO-SCHETTINI, A. TROINA (2004). Information Flow Analysis for Probabilistic Timed Automata. Springer US [10.1007/0-387-24098-5_2].

Information Flow Analysis for Probabilistic Timed Automata

TROINA, ANGELO
2004
2004
Proc. of IFIP Workshop on Formal Aspects in Security and Trust (FAST)
13
26
R. LANOTTE, A. MAGGIOLO-SCHETTINI, A. TROINA (2004). Information Flow Analysis for Probabilistic Timed Automata. Springer US [10.1007/0-387-24098-5_2].
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/581062
 Attenzione

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

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