Verifying Chemical Reaction Network Implementations: A Bisimulation Approach.

Robert F. Johnson, Qing Dong, Erik Winfree

Browse the full DNA paper archive.