<--- Back to Details
First PageDocument Content
Bioinformatics / 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
Date: 2016-02-05 19:02:40
Bioinformatics
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

Computational Modeling, Formal Analysis, and Tools for Systems Biology

Add to Reading List

Source URL: www.eziobartocci.com

Download Document from Source Website

File Size: 3,59 MB

Share Document on Facebook

Similar Documents

  		   

  
   	  

  
  
  
   

                          

DocID: 1rdud - View Document

The Magnet Linking Purpose and Practice in a Recovery-Oriented System of Care Pamela Woll, MA, CADP Great Lakes ATTC

The Magnet Linking Purpose and Practice in a Recovery-Oriented System of Care Pamela Woll, MA, CADP Great Lakes ATTC

DocID: 1pXYJ - View Document

Computational Modeling, Formal Analysis, and Tools for Systems Biology

Computational Modeling, Formal Analysis, and Tools for Systems Biology

DocID: 1oXjp - View Document

Modular Verification of Feature-Oriented Software Models Kathi Fisler Department of Computer Science Worcester Polytechnic Institute Worcester, MA, 01609 USA

Modular Verification of Feature-Oriented Software Models Kathi Fisler Department of Computer Science Worcester Polytechnic Institute Worcester, MA, 01609 USA

DocID: 1ozGR - View Document

LIONS GATE ROAD RUNNERS 2015 MEMBERSHIP FORM Full Name Address  Sex:

LIONS GATE ROAD RUNNERS 2015 MEMBERSHIP FORM Full Name Address Sex:

DocID: 1gp88 - View Document