Login / Signup

Automata as Abstractions.

Dennis DamsKedar 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