Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo

Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard Aichernig, Christel Baier, Tobias Blechmann, Frank de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)33-48
JournalElectronic Notes in Theoretical Computer Science
Publication statusPublished - 2010

Treatment code (Nähere Zuordnung)

  • Application

Cite this