Applications of Pathway Logic Modeling to Target Identification. - Anupama Panikkar; Merrill Knapp; Huaiyu Mi; Dave Anderson; Krishna Kodukula; Amit K. Galande; Carolyn L. Talcott (Formal Modeling: Actors, Open Systems, Biological Systems, 2011)