Login / Signup
Lazy Parallel Synchronous Composition of Infinite Transition Systems.
Yuliia Romenska
Frédéric Mallet
Published in:
ICTERI (2013)
Keyphrases
</>
transition systems
concurrent systems
model checking
temporal logic
practical reasoning
finite state
control flow
artificial intelligence
hidden markov models
web service composition