Multiplicative Transition Systems.

Józef Winkowski

Published in: Fundam. Informaticae (2011)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
model checker
formal verification
reactive systems
hidden markov models
domain specific
first order logic