CRIS Current Research Information System

R. LANOTTE, A. MAGGIOLO-SCHETTINI, A. TROINA (2004). Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security. - : IEEE CSP [10.1109/SEFM.2004.1347512].

Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security

TROINA, ANGELO
2004
2004
Software Engineering and Formal Methods, 2004. SEFM 2004. Proceedings of the Second International Conference on
114
121
R. LANOTTE, A. MAGGIOLO-SCHETTINI, A. TROINA (2004). Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security. - : IEEE CSP [10.1109/SEFM.2004.1347512].
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/581054
 Attenzione

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

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