DMCA

REVISITING TRACE AND TESTING EQUIVALENCES FOR NONDETERMINISTIC AND PROBABILISTIC PROCESSES (2013)

Cached

Download Links

by Marco Bernardo A , Rocco De Nicola B , Michele Loreti C