David Caballero, Timothy Gomez, Robert T. Schweller, Tim Wylie. Verification and Computation in Restricted Tile Automata. In Cody W. Geary, Matthew J. Patitz, editors, 26th International Conference on DNA Computing and Molecular Programming, DNA 26, September 14-17, 2020, Oxford, UK (Virtual Conference). Volume 174 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.