Login / Signup

The metric linear-time branching-time spectrum on nondeterministic probabilistic processes.

Valentina CastiglioniMichele LoretiSimone Tini
Published in: Theor. Comput. Sci. (2020)
Keyphrases