Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Luca Bortolussi, Jane Hillston
Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation
SFM, 2013.

SFM 2013
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{SFM-2013-BortolussiH,
	author        = "Luca Bortolussi and Jane Hillston",
	booktitle     = "{Advanced Lectures of the 13th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Dynamical Systems}",
	doi           = "10.1007/978-3-642-38874-3_4",
	isbn          = "978-3-642-38873-6",
	pages         = "113--149",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation}",
	volume        = 7938,
	year          = 2013,
}

Tags:



Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.