Open AccessModeling Cellular Signaling Systems: An Abstraction-Refinement Approach
Author(s) -
Diana Hermith,
Carlos Olarte,
Camilo Rueda,
Frank Valencia
Publication year - 2011
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
DOI - 10.1007/isbn978-3-642-19913-4
Subject(s) - computer science , abstraction , programming language , theoretical computer science , epistemology , philosophy