@inproceedings{fff3032e0b0f440d9d853986801e497e,
title = "Synthesizing biological theories",
abstract = "Studies of biological systems are often facilitated by diagram {"}models{"} that summarize the current understanding of underlying mechanisms. The increasing complexity of our understanding of biology necessitates computational models that can extend these representations to include their dynamic behavior. We present here a new tool we call Synthesizing Biological Theories which enables biologists and modelers to construct high-level theories and models of biological systems, capturing biological hypotheses, inferred mechanisms, and experimental results within the same framework. Among the key features of the tool are convenient ways to represent several competing theories and the interactive nature of building and running the models using an intuitive, rigorous scenario-based visual language. The definition of the modeling language is geared towards enabling formal verification and analysis.",
author = "Hillel Kugler and Cory Plock and Andy Roberts",
year = "2011",
doi = "10.1007/978-3-642-22110-1_46",
language = "الإنجليزيّة",
isbn = "9783642221095",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "579--584",
booktitle = "Computer Aided Verification - 23rd International Conference, CAV 2011, Proceedings",
note = "23rd International Conference on Computer Aided Verification, CAV 2011 ; Conference date: 14-07-2011 Through 20-07-2011",
}