![](/img/cover-not-exists.png)
Automatic validation of computational models using pseudo-3D spatio-temporal model checking
Pârvu, Ovidiu, Gilbert, DavidVolume:
8
Language:
english
Journal:
BMC Systems Biology
DOI:
10.1186/s12918-014-0124-0
Date:
December, 2014
File:
PDF, 3.46 MB
english, 2014