Login / Signup

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes.

Marco BernardoRocco De NicolaMichele Loreti
Published in: Log. Methods Comput. Sci. (2014)
Keyphrases