Sign in

Verification and Computation in Restricted Tile Automata.

David CaballeroTimothy GomezRobert T. SchwellerTim Wylie
Published in: DNA (2020)
Keyphrases
  • database
  • cellular automata
  • efficient computation
  • finite automata
  • databases
  • case study
  • expert systems
  • model checking