Historikk

Cristin-resultat-ID: 1876544

Sist endret: 17. mars 2021, 10:48

NVI-rapporteringsår: 2020

Resultat

Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

2020

Model-Checking Information Diffusion in Social Networks with PRISM

Louise A Dennis og
Marija Slavkovik

Bok Bok

Multi-Agent Systems and Agreement Technologies - 17th European Conference, EUMAS 2020, and 7th International Conference, AT 2020, Thessaloniki, Greece, September 14-15, 2020, Revised Selected Papers.

ISBN:

978-3-030-66411-4

Utgiver

Springer

NVI-nivå 1

Finn i kanalregisteret

Serie

Lecture Notes in Computer Science (LNCS)

ISSN 0302-9743
e-ISSN 1611-3349

NVI-nivå 1

Finn i kanalregisteret

Om resultatet Om resultatet

Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

Publiseringsår: 2020

Hefte: 12520

Sider: 475 - 492

ISBN:

978-3-030-66411-4

Lenker Lenker

ORIA

Søk i ORIA med 978-3-030-66411-4

Klassifisering Klassifisering

Fagfelt (NPI)

Fagfelt: IKT

- Fagområde: Realfag og teknologi

Beskrivelse Beskrivelse

Engelsk

Tittel

Model-Checking Information Diffusion in Social Networks with PRISM

Bidragsytere Bidragsytere

Louise A Dennis

Forfatter
ved University of Manchester

Marija Slavkovik

Forfatter
ved Institutt for informasjons- og medievitenskap ved Universitetet i Bergen

1 - 2 av 2

Resultatet er en del av Resultatet er en del av

Multi-Agent Systems and Agreement Technologies - 17th European Conference, EUMAS 2020, and 7th International Conference, AT 2020, Thessaloniki, Greece, September 14-15, 2020, Revised Selected Papers.

Bassiliades, Nick; Chalkiadakis, Georgios; de Jonge, Dave. 2020, Springer. APT, PK, UADBVitenskapelig antologi/Konferanseserie

1 - 1 av 1