Login / Signup

Minimal Regions of ENL-Transition Systems.

Maciej KoutnyMarta Pietkiewicz-Koutny
Published in: Fundam. Informaticae (2010)
Keyphrases
  • transition systems
  • model checking
  • concurrent systems
  • temporal logic
  • finite state
  • practical reasoning
  • hidden markov models
  • control flow