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 journalArticleResearch

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

Treatment code (Nähere Zuordnung)

  • Application

Cite this

Grabe, I., Jaghoori, M. M., Aichernig, B., Baier, C., Blechmann, T., de Boer, F., ... Yi, W. (2010). Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. Electronic Notes in Theoretical Computer Science , 266, 33-48.