Login / Signup

Factorisation of Finite State Machines under Strong and Observational Equivalences.

Huajun QinPhilip Lewis
Published in: Formal Aspects Comput. (1991)
Keyphrases
  • finite state machines
  • model checking
  • finite state automata
  • regular expressions
  • hidden markov models
  • high level
  • digital circuits
  • regular languages