Formal characterization and efficient verification of a biological robustness property.

Lucia Nasti, Roberta Gori, Paolo Milazzo

Browse the full ICSE paper archive.