2007a) Model checking genetic regulatory networks with parameter uncertainty (0)

by G Batt
Venue:In Bemporad,A. et al. (eds). Hybrid Systems: Computation and Control, HSCC’07, Lecture Notes in Computer Science 4416