<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2016-02-05 19:02:40Bioinformatics Scientific modeling Models of computation Systems biology Concurrency Computational biology Linear temporal logic Model checking Agent-based model Gene regulatory network Construction and Analysis of Distributed Processes Petri net |
Add to Reading List |
Computational Modeling, Formal Analysis, and Tools for Systems Biology | [BC]² is a conference of the SIB Swiss Institute of Bioinformatics organized by:DocID: 1xThw - View Document |
| DOC DocumentDocID: 1xSO1 - View Document |
| PDF DocumentDocID: 1xRmw - View Document |
| PDF DocumentDocID: 1xR3g - View Document |
| PDF DocumentDocID: 1xKLd - View Document |