int01072d-1c_532-540.indd

First Page		Document Content
Date: 2014-06-10 10:21:04 Systems ecology Mathematical and theoretical biology Biological systems Theoretical ecology Lotka–Volterra equation Ecosystem ecology Ecosystem Food web Population model Biology Science Ecology		int01072d-1c_532-540.indd Add to Reading List Source URL: biology.mcgill.ca Download Document from Source Website File Size: 164,67 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