Model checking genetic regulatory networks using GNA and CADP (2004)

by G Batt, D Bergamini, H de Jong, H Gavarel, R Mateescu
Venue:Proc. 11th Intl. Workshop on Model Checking of Software (SPIN 2004), volume 2989 of LNCS