Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo Immo Grabe Mohammad Mahdi Jaghoori Bernhard Aichernig Cristel Baier Tobias Blechmann Publikasjonsdetaljer Journal: Electronical Notes in Theoretical Computer Science, vol. 266, p. 33–48, 2010 Utgiver: Elsevier Internasjonale standardnumre: Trykt: 1571-0661 Elektronisk: 1571-0661 Du er her: Hjem Publikasjoner Vitenskapelig artikkel Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo