An abstract formal basis for digital crowds (bibtex)

by Marija Slavkovik, Louise A. Dennis and Michael Fisher

Reference:

An abstract formal basis for digital crowds (Marija Slavkovik, Louise A. Dennis and Michael Fisher), In Distributed and Parallel Databases, Springer US, volume 33, 2015.

Bibtex Entry:

@article{DPD:2014,
	author = {Marija Slavkovik and Louise A. Dennis and Michael Fisher},
	date-added = {2016-07-12 11:20:34 +0000},
	date-modified = {2016-07-12 11:20:34 +0000},
	doi = {10.1007/s10619-014-7161-y},
	issn = {0926-8782},
	journal = {Distributed and Parallel Databases},
	keywords = {Logical foundations; Crowd specification; Formal verification; Predictability},
	language = {English},
	number = {1},
	pages = {3--31},
	publisher = {Springer US},
	title = {An abstract formal basis for digital crowds},
	url = {http://dx.doi.org/10.1007/s10619-014-7161-y},
	volume = {33},
	year = {2015},
	bdsk-url-1 = {http://dx.doi.org/10.1007/s10619-014-7161-y}}