A Simple Characterization of Stuttering Bisimulation.

Kedar S. Namjoshi

Published in: FSTTCS (1997)

Keyphrases

real world
machine learning
case study
special case
data analysis
image analysis
control system