A bisimulation approach to verication of molecular implementations of formal chemical reaction networks
Year: 2012
Type: article
Author: Qing Dong
Language: English
Topic: DNA and Biological Computing
Subfield: Molecular Biology
Domain: Life Sciences
Open Access status: closed
OpenAlex ID: W2407503784