CRIS Current Research Information System

Bernardo, M., Sangiorgi, D., Vignudelli, V. (2014). On the discriminating power of testing equivalences for reactive probabilistic systems: Results and open problems. Berlino : Springer Verlag [10.1007/978-3-319-10696-0_23].

On the discriminating power of testing equivalences for reactive probabilistic systems: Results and open problems

SANGIORGI, DAVIDE;VIGNUDELLI, VALERIA
2014
2014
Proc. 11th Int. Conference on Quantitative Evaluation of Systems
281
296
Bernardo, M., Sangiorgi, D., Vignudelli, V. (2014). On the discriminating power of testing equivalences for reactive probabilistic systems: Results and open problems. Berlino : Springer Verlag [10.1007/978-3-319-10696-0_23].
Bernardo, Marco; Sangiorgi, Davide; Vignudelli, Valeria
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/521338
 Attenzione

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

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