Efficient Verification for Logical Models of Regulatory Networks.

Pedro T. Monteiro, Claudine Chaouiya

Browse the full PACBB paper archive.