Multidimensional model checking for computational models of biological systems User Ovidiu Parvu on YouTube, 03 Jan 2015 A brief description of the potential impact multidimensional model checking could have on systems and synthetic biology. For…