Model Checking Genetic Regulatory Networks using GNA and CADP (2004)

by Gregory Batt , Calin Belta , Grégory Batt , Calin Belta
Venue:In: Proceedings of the 11th International SPIN Workshop on Model Checking of Software SPIN’2004
Citations:39 - 6 self