"The metric linear-time branching-time spectrum on nondeterministic ..."

Valentina Castiglioni, Michele Loreti, Simone Tini (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics