Login / Signup

Non-bisimulation-based Markovian behavioral equivalences.

Marco Bernardo
Published in: J. Log. Algebraic Methods Program. (2007)
Keyphrases
  • connected components
  • relational algebra
  • computer vision
  • hidden markov models
  • real time