论文信息 - Linear Temporal Logic for Biologists in BMA - 字舞流文

Linear Temporal Logic for Biologists in BMA

This is the author accepted manuscript. The final version is available from Springer via http://www.springer.com/in/book/9783319451763

Nir Piterman | Benjamin A. Hall | Jasmin Fisher

[1] Aurélien Naldi,et al. Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks , 2007, CMSB.

[2] Samin Ishtiaq,et al. Drug Target Optimization in Chronic Myeloid Leukemia Using Innovative Computational Platform , 2015, Scientific Reports.

[3] Alex S. Taylor,et al. Bma: Visual Tool for Modeling and Analyzing Biological Networks , 2012, CAV.

[4] Gos Micklem,et al. esyN: Network Building, Sharing and Publishing , 2014, PloS one.