On-the-Fly Branching Bisimulation Minimization for Compositional Analysis.

Yung-Pin Cheng Hong-Yi Wang Yu-Ru Cheng

Published in: CIAA (2006)

Keyphrases

database
quantitative analysis
data sets
data analysis
databases
information retrieval
information technology
statistical analysis
search tree