Model Checking Liveness Properties of Genetic Regulatory Networks.

Grgory Batt, Calin Belta, Ron Weiss

Browse the full TACAS paper archive.