Verification and computation in restricted Tile Automata
Crossref DOI link: https://doi.org/10.1007/s11047-021-09875-x
Published Online: 2021-11-17
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Caballero, David
Gomez, Timothy http://orcid.org/0000-0002-5423-7615
Schweller, Robert
Wylie, Tim
Funding for this research was provided by:
National Science Foundation (CCF-1817602)
Text and Data Mining valid from 2021-11-17
Version of Record valid from 2021-11-17
Article History
Accepted: 30 September 2021
First Online: 17 November 2021