A bisimulation approach to verification of molecular implementations of formal chemical reaction networks A Thesis Presented by Qing Dong

First Page		Document Content
Date: 2013-02-20 20:36:31 Bisimulation Algorithm Simulation preorder Chromium nitride Programming language Theoretical computer science Applied mathematics Mathematics		A bisimulation approach to verification of molecular implementations of formal chemical reaction networks A Thesis Presented by Qing Dong Add to Reading List Source URL: www.dna.caltech.edu Download Document from Source Website File Size: 384,78 KB Share Document on Facebook