Divergent Quiescent Transition Systems.

Willem Gerrit Johan Stokkink Mark Timmer Mariëlle Stoelinga

Published in: TAP@STAF (2013)

Keyphrases

transition systems
model checking
temporal logic
concurrent systems
finite state
practical reasoning
control flow
reactive systems
markov chain
model checker
artificial intelligence
case study
distributed systems