A logic-based method to build signaling networks and propose experimental plans.

A logic-based method to build signaling networks and propose experimental plans.