Model-checking Information Diffusion in Social Networks with PRISM (bibtex)
@inproceedings{EUMAS20-b,
	Address = {Thessaloniki, Greece},
	Author = {Louise A. Dennis and   Slavkovik, Marija},
	Booktitle = {Proceedings of the 17th European Workshop on Multiagent systems},
		Title = {Model-checking Information Diffusion in Social
Networks with PRISM},
Url = {ModelSNS.pdf},
	note={Accepted},
	Year = {2020}}
Powered by bibtexbrowser