Login / Signup
Automata as Abstractions.
Dennis Dams
Kedar S. Namjoshi
Published in:
VMCAI (2005)
Keyphrases
</>
cellular automata
finite automata
high level
finite state
probabilistic automata
regular expressions
tree automata
lattice gas
finite state machines
real time
real world
multiscale