Model checking genetic regulatory networks with parameter uncertainty (2007)

by Grégory Batt, Calin Belta, Ron Weiss
Venue:In HSCC, volume 4416 of LNCS