Gustavo Santos-García, Javier De Las Rivas, Carolyn L. Talcott. A Logic Computational Framework to Query Dynamics on Complex Biological Pathways. In Julio Saez-Rodriguez, Miguel P. Rocha, Florentino Fdez-Riverola, Juan F. De Paz Santana, editors, 8th International Conference on Practical Applications of Computational Biology & Bioinformatics, PACBB 2014, 4-6 June, 2014, Salamanca, Spain. Volume 294 of Advances in Intelligent Systems and Computing, pages 207-214, Springer, 2014. [doi]
Abstract is missing.