On-the-Fly Computation of Bisimilarity Distances.

Giorgio Bacci Giovanni Bacci Kim G. Larsen Radu Mardare

Published in: CoRR (2017)

Keyphrases

distance measure
databases
database systems
data mining
case study