doi:j.tree

First Page		Document Content
Date: 2014-10-04 15:41:28 Biology Ecology Systems science Habitat Systems ecology Biological systems Community ecology Microcosm Ecosystem Community Theoretical ecology Food web		doi:j.tree Add to Reading List Source URL: www.zoology.ubc.ca Download Document from Source Website File Size: 321,96 KB Share Document on Facebook

	FBTCAn Intermediate Language for the Simulation of Biological Systems 1 Roberto Barbuti,2 Giulio Caravagna,3 Andrea Maggiolo–Schettini4 and Paolo Milazzo5 DocID: 1xVQS - View Document
	Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates Roberto Barbuti1 , Francesca Levi1 , Paolo Milazzo1 , and Guido Scatena2 1 2 DocID: 1xVCd - View Document
	An Intermediate Language for the Stochastic Simulation of Biological Systems Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo–Schettini, Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa DocID: 1xVuZ - View Document
	Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, and Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa DocID: 1xV5e - View Document
	DYNAMIC SYNC-PROGRAMS FOR MODULAR VERIFICATION OF BIOLOGICAL SYSTEMS Peter Dr´abik, Andrea Maggiolo-Schettini and Paolo Milazzo Dipartimento di Informatica, Universit`a di Pisa DocID: 1xTUq - View Document