Login / Signup
Time and Space Issues in the Generation of Graph Transition Systems.
Arend Rensink
Published in:
Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
</>
transition systems
temporal logic
model checking
random walk
concurrent systems
search algorithm
dynamical systems
practical reasoning