A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks.

A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks.