How to formalise the meaning of a bio-model: a case study

Christian Knüpfer, Clemens Beckstein, Peter Dittrich
2007 BMC Systems Biology  
doi:10.1186/1752-0509-1-s1-p28 pmid:17567903 pmcid:PMC1904462 fatcat:sz3lli26x5at7gi57oxs35jcru