"Revisiting Trace and Testing Equivalences for Nondeterministic and ..."

Marco Bernardo, Rocco De Nicola, Michele Loreti (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics