National Aeronautics and Space Administration NASA eClips TM

First Page		Document Content
Date: 2013-04-30 20:27:09 Biological systems Superorganisms Habitats Biome NASA eClips Natural environment Ecosystem Earth science Biosphere 2 Science Biology Ecology		National Aeronautics and Space Administration NASA eClips TM Add to Reading List Source URL: www.nasa.gov Download Document from Source Website File Size: 973,10 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