Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record journals/entcs/GrabeJABBBGJKKKLSSSTXY10
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.