David Caballero, Timothy Gomez, Robert T. Schweller, Tim Wylie. Complexity of Verification in Self-Assembly with Prebuilt Assemblies. In James Aspnes, Othon Michail, editors, 1st Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2022, March 28-30, 2022, Virtual Conference. Volume 221 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]
@inproceedings{CaballeroGSW22,
title = {Complexity of Verification in Self-Assembly with Prebuilt Assemblies},
author = {David Caballero and Timothy Gomez and Robert T. Schweller and Tim Wylie},
year = {2022},
doi = {10.4230/LIPIcs.SAND.2022.8},
url = {https://doi.org/10.4230/LIPIcs.SAND.2022.8},
researchr = {https://researchr.org/publication/CaballeroGSW22},
cites = {0},
citedby = {0},
booktitle = {1st Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2022, March 28-30, 2022, Virtual Conference},
editor = {James Aspnes and Othon Michail},
volume = {221},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-224-2},
}