Diana Hermith, Carlos Olarte, Camilo Rueda, Frank D. Valencia. Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach. In Miguel P. Rocha, Juan M. Corchado RodrÃguez, Florentino Fdez-Riverola, Alfonso Valencia, editors, 5th International Conference on Practical Applications of Computational Biology & Bioinformatics, PACBB 2011, April 6-8, 2011, Salamanca, Spain. Volume 93 of Advances in Intelligent and Soft Computing, pages 321-328, Springer, 2011. [doi]
Abstract is missing.