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]
@inproceedings{CaballeroGSW20,
title = {Verification and Computation in Restricted Tile Automata},
author = {David Caballero and Timothy Gomez and Robert T. Schweller and Tim Wylie},
year = {2020},
doi = {10.4230/LIPIcs.DNA.2020.10},
url = {https://doi.org/10.4230/LIPIcs.DNA.2020.10},
researchr = {https://researchr.org/publication/CaballeroGSW20},
cites = {0},
citedby = {0},
booktitle = {26th International Conference on DNA Computing and Molecular Programming, DNA 26, September 14-17, 2020, Oxford, UK (Virtual Conference)},
editor = {Cody W. Geary and Matthew J. Patitz},
volume = {174},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-163-4},
}