Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach.

Diana Hermith, Carlos Olarte, Camilo Rueda, Frank D. Valencia

Browse the full PACBB paper archive.