On-the-Fly Exact Computation of Bisimilarity Distances.

Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare

Browse the full TACAS paper archive.