ArticleBMC systems biology2014
Automatic validation of computational models using pseudo-3D spatio-temporal model checking.
Ovidiu Pârvu et al.PubMed ↗Full text ↗Publisher ↗
No numbers read from the abstract.
4 papers cite it
this papercites it
ArticleBMC systems biology2014
Ovidiu Pârvu et al.PubMed ↗Full text ↗Publisher ↗
No numbers read from the abstract.