BibTeX record journals/entcs/GrabeJABBBGJKKKLSSSTXY10

download as .bib file

@inproceedings{DBLP:journals/entcs/GrabeJABBBGJKKKLSSSTXY10,
  author       = {Immo Grabe and
                  Mohammad Mahdi Jaghoori and
                  Bernhard K. Aichernig and
                  Christel Baier and
                  Tobias Blechmann and
                  Frank S. de Boer and
                  Andreas Griesmayer and
                  Einar Broch Johnsen and
                  Joachim Klein and
                  Sascha Kl{\"{u}}ppelholz and
                  Marcel Kyas and
                  Wolfgang Leister and
                  Rudolf Schlatte and
                  Andries Stam and
                  Martin Steffen and
                  Simon Tschirner and
                  Liang Xuedong and
                  Wang Yi},
  editor       = {Einar Broch Johnsen and
                  Volker Stolz},
  title        = {Credo Methodology: Modeling and Analyzing {A} Peer-to-Peer System
                  in Credo},
  booktitle    = {Proceedings of the 3rd International Workshop on Harnessing Theories
                  for Tool Support in Software, {TTSS} 2009, Universiti Kebangsaan Malaysia
                  (UKM), Kuala Lumpur, Malaysia, August 17, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {266},
  pages        = {33--48},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2010.08.047},
  doi          = {10.1016/J.ENTCS.2010.08.047},
  timestamp    = {Tue, 21 Mar 2023 21:11:19 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GrabeJABBBGJKKKLSSSTXY10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics