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