Marco Bernardo, Erik P. de Vink, Alessandra Di Pierro, Herbert Wiklicky
Advanced Lectures of the 13th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Dynamical Systems
SFM, 2013.

@proceedings{SFM-2013,
	address       = "Bertinoro, Italy",
	doi           = "10.1007/978-3-642-38874-3",
	editor        = "Marco Bernardo and Erik P. de Vink and Alessandra Di Pierro and Herbert Wiklicky",
	isbn          = "978-3-642-38873-6",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Advanced Lectures of the 13th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Dynamical Systems}",
	volume        = 7938,
	year          = 2013,
}

Event page: http://www.sti.uniurb.it/events/sfm13ds/

Contents (5 items)

2 ×#analysis
2 ×#biology

SFM-2013-KopfR #analysis #automation #data flow

Automation of Quantitative Information-Flow Analysis (BK, AR), pp. 1–28.

SFM-2013-GratieIP #analysis #biology

ODE Analysis of Biological Systems (DEG, BI, IP), pp. 29–62.

SFM-2013-BrimCS #biology #model checking

Model Checking of Biological Systems (LB, MC, DS), pp. 63–112.

SFM-2013-BortolussiH #approximate #behaviour #markov #modelling

Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation (LB, JH), pp. 113–149.

SFM-2013-Pachos #quantum

Topological Quantum Computation (JKP), pp. 150–179.