%0 Conference Paper %1 conf/dna/CaballeroGSW20 %A Caballero, David %A Gomez, Timothy %A Schweller, Robert T. %A Wylie, Tim %B DNA %D 2020 %E Geary, Cody W. %E Patitz, Matthew J. %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 10:1-10:18 %T Verification and Computation in Restricted Tile Automata. %U http://dblp.uni-trier.de/db/conf/dna/dna2020.html#CaballeroGSW20 %V 174 %@ 978-3-95977-163-4

@inproceedings{conf/dna/CaballeroGSW20, added-at = {2020-09-04T00:00:00.000+0200}, author = {Caballero, David and Gomez, Timothy and Schweller, Robert T. and Wylie, Tim}, biburl = {https://www.bibsonomy.org/bibtex/2c4d21a7674e018c6217fd17689d50b4f/dblp}, booktitle = {DNA}, crossref = {conf/dna/2020}, editor = {Geary, Cody W. and Patitz, Matthew J.}, ee = {https://doi.org/10.4230/LIPIcs.DNA.2020.10}, interhash = {3b39d23b62b135794cee8ea353cad1f2}, intrahash = {c4d21a7674e018c6217fd17689d50b4f}, isbn = {978-3-95977-163-4}, keywords = {dblp}, pages = {10:1-10:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:35:11.000+0200}, title = {Verification and Computation in Restricted Tile Automata.}, url = {http://dblp.uni-trier.de/db/conf/dna/dna2020.html#CaballeroGSW20}, volume = 174, year = 2020 }