Credo methodology - Modeling and analyzing a peer-to-peer system in Credo

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

August 18, 2009

DART

• Published date: August 18, 2009
• Publisher: Elsevier
• Refereed: 1
• Conference: 3rd International Workshop on Harnessing Theories for Tool Support in Software
• Page(s): 23-37
• Journal:
• Name and number of project: CREDO 33826
• Volume/number:
• Title: Credo methodology - Modeling and analyzing a peer-to-peer system in Credo
• Author(s): Grabe, Immo; Jaghoori, Mohammad Mahdi; Aichernig, Bernhard; Baier, Christel; Blechmann, Tobias; Boer, Frank de; Griesmayer, Andreas; Broch Johnsen, Einar; Klein, Joachim; Klüppelholz, Sascha; Kyas, Marcel; Leister, Wolfgang; Schlatte, Rudolf; Stam, Andries; Steffen, Martin; Tschirner, Simon; Liang, Xuedong; Yi, Wang
• ISBN:
• Book title: Proc. 3rd International Workshop on Harnessing Theories for Tool Support in Software
• Editor: