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

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

Publikasjonsdetaljer

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