Login / Signup
Minimal Regions of ENL-Transition Systems.
Maciej Koutny
Marta 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