Multidimensional Visualization of Transition Systems.

A. Johannes Pretorius Jarke J. van Wijk

Published in: IV (2005)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
distributed systems
business processes
model checker