Model Checking Genetic Regulatory Networks with Parameter Uncertainty

From MaRDI portal
Publication:3612958

DOI10.1007/978-3-540-71493-4_8zbMath1221.93135OpenAlexW1485333286MaRDI QIDQ3612958

Grégory Batt, Calin Belta, Ron Weiss

Publication date: 11 March 2009

Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71493-4_8




Related Items (10)


Uses Software





This page was built for publication: Model Checking Genetic Regulatory Networks with Parameter Uncertainty