4 citations · 12 across the 9 of their papers we have counts for
1 paper · 2 filters
Aaron Sterling
This paper introduces the theory and practice of formal verification of self-assembling systems. We interpret a well-studied abstraction of nanomolecular self assembly, the Abstrac…