%0 Journal Article
%T A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking
%A David Gilbert
%A Ovidiu Parvu
%J Archive of "PLoS ONE".
%D 2016
%R 10.1371/journal.pone.0154847
%U https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4871515/