Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes / Marco Bernardo; Rocco Nicola; Michele Loreti. - STAMPA. - (2012), pp. 195-209. [10.1007/978-3-642-28729-9_13]

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes

LORETI, MICHELE
2012

2012
9783642287282
9783642287299
Proc. of Foundations of Software Science and Computational Structures (FOSSACS 2012), Lecture Notes in Computer Science, 2012, Vol. 7213/2012
195
209
Marco Bernardo; Rocco Nicola; Michele Loreti
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/647490
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 10
  • ???jsp.display-item.citation.isi??? 10
social impact