On-the-Fly Computation of Bisimilarity Distances - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Giorgio Bacci, Giovanni Bacci 0001, Kim G. Larsen, Radu Mardare. On-the-Fly Computation of Bisimilarity Distances. Logical Methods in Computer Science, 13(2), 2017. [doi]

This author has not been identified. Look up 'Giorgio Bacci' in GoogleThis author has not been identified. Look up 'Giovanni Bacci 0001' in GoogleThis author has not been identified. Look up 'Kim G. Larsen' in GoogleThis author has not been identified. Look up 'Radu Mardare' in Google

runs on WebDSL