Skip to main content

Contact Ovidiu Pârvu

From: Automatic validation of computational models using pseudo-3D spatio-temporal model checking

Contact corresponding author