20 citations · 22 across the 5 of their papers we have counts for
1 paper · 1 filter
Seung Woo Shin, Chris Thachuk, Erik Winfree
Here we focus on the challenge of verifying the correctness of molecular implementations of abstract chemical reaction networks, where operation in a well-mixed "soup" of molecules…