Verification and Computation in Restricted Tile Automata.

David Caballero, Timothy Gomez, Robert Schweller, Tim Wylie

Browse the full DNA paper archive.