Verification in Staged Tile Self-Assembly.
Robert Schweller, Andrew Winslow, and Tim Wylie.
In Proc. of the 16th Inter. Conf. on Unconventional Computation and Natural Computation (UCNC’17), 2017.
Algorithmic Self-Assembly Research Group
Verification in Staged Tile Self-Assembly.
Robert Schweller, Andrew Winslow, and Tim Wylie.
In Proc. of the 16th Inter. Conf. on Unconventional Computation and Natural Computation (UCNC’17), 2017.