TY  - RPRT
TI  - Model building and model checking for biochemical processes.
AU  - Marco Antoniotti
AU  - Alberto Policriti
AU  - Nadia Ugel
AU  - Bud Mishra
PY  - 2003
DO  - 10.1385/cbb:38:3:271
UR  - https://pubmed.ncbi.nlm.nih.gov/12794268/
ID  - 12794268
ER  -