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
2a - Art/Cap/Saggio libro scient/tech
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 11
  • ???jsp.display-item.citation.isi??? 10
social impact