Inferring Executable Models from Formalized Experimental Evidence

Vivek Nigam, Robin Donaldson, Merrill Knapp, Tim McCarthy, Carolyn L. Talcott. Inferring Executable Models from Formalized Experimental Evidence. In Olivier F. Roux, Jérémie Bourdon, editors, Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings. Volume 9308 of Lecture Notes in Computer Science, pages 90-103, Springer, 2015. [doi]

Abstract

Abstract is missing.