Modelización lógica discreta como un medio para vincular redes de señalización proteica con el análisis funcional de la transducción de señales en mamíferos | Synapse