Back to Results
First PageMeta Content
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

Document Date: 2013-02-20 20:36:31


Open Document

File Size: 384,78 KB

Share Result on Facebook
UPDATE