TY  - RPRT
TI  - Formal Verification of Self-Assembling Systems
AU  - Aaron Sterling
PY  - 2010
UR  - https://arxiv.org/abs/1007.3712
ID  - 1007.3712
ER  -