Login / Signup

Unifying behavioral equivalences of timed transition systems.

Irina B. VirbitskaiteNatalya Gribovskaya
Published in: Program. Comput. Softw. (2010)
Keyphrases
  • transition systems
  • concurrent systems
  • model checking
  • petri net
  • temporal logic
  • finite state
  • practical reasoning
  • control flow
  • reactive systems
  • markov chain
  • formal specification
  • model checker