Verification and computation in restricted Tile Automata

Natural Computing ◽

10.1007/s11047-021-09875-x ◽

2021 ◽

Author(s):

David Caballero ◽

Timothy Gomez ◽

Robert Schweller ◽

Tim Wylie

Download Full-text