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

  • Immo Grabe
  • Mohammad Mahdi Jaghoori
  • Bernhard Aichernig
  • Christel Baier
  • Tobias Blechmann

Publication details

  • Event: The 3rd International Workshop on Harnessing Theories for Tool Support in Software (TTSS'09)
  • Year: 2009