@misc{indiciae1ae2cadafc67,
  title = {Model building and model checking for biochemical processes.},
  author = {Marco Antoniotti and Alberto Policriti and Nadia Ugel and Bud Mishra},
  year = {2003},
  doi = {10.1385/cbb:38:3:271},
  url = {https://pubmed.ncbi.nlm.nih.gov/12794268/},
  note = {Source identifier: 12794268}
}