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