Quelle  root.bib

-,
  author      2730}
e={Shifting:  Algorithms  theFlytoExpedite Byzantine},
  journal =      {Inf. Comput.},
    editor={ L.  andNancyA.LynchandNicola Santoro},
  volume =    Montreal Canada}

  }
}
@{biely,
@{ben-r:dvantagejava.lang.StringIndexOutOfBoundsException: Index 32 out of bounds for length 32
  author =       {Michael Ben-Or},
  title=        Formal ,Safety  Security of Distributed SSS2011,
   Proc2 . PrinciplesofDistributed (ODC1983}
  pages =     {27-30},
  year =      1983,  editor={ D\e   Petit  }
rtL  andNancy.LynchandNicolaSantoro
  address =   {Montreal, Canada},
  publisher {ACM}java.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 20
}

@inproceedings{biely:tolerating,
 author = {Biely, Martin and Widder, Josef and Charron-Bost, Bernadette and Gaillard, Antoine and Hutle, Martin and Schiper, Andr\'{e}},
 title = {Tolerating corrupted communication},
 booktitle = {Proc. 26th Annual ACM Symposium on Principles of Distributed  title=        Formal Verification of a{C}onsensus Algorithmin the {}-{}fModel,
 series = {PODC '07},
 year = {2007},
isbn 9781-59593616}
 location =          23,
 pages = {2442009
 numpages = {10},
 publisher = {ACM},
 address  {New YorkNY }java.lang.StringIndexOutOfBoundsException: Index 31 out of bounds for length 31
  = {byzantine  tolerance consensus,dynamic faults  faults,
}journal       Computing,

@InProceedings{charron:formal-malicious,
author       Bernadette Charron    andMerz
  title =        
      Dwork C  .A   .Stockmeyer"
  pages={120134,
 year=2011
  editor =    {Xavier D   =35
  volume=   6976,
  series    ,
  address =   {Grenoble, France},
  publisher =Springer
}

java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
  author =Title="   Consensuswith   java.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 14
 Formalof{Algorithm }-OfModel
  journal =      {Intl. J. Software and            2005
  volume
number       3
  pages =    Leslie}java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30
  year =         2009,
}

@  volume = 16,
  author=       {Bernadette Charron-ost andAndr{'}Schiper},
  title={ {eard-}model: computing in  systemswith faults,
  journal =      {Distributed Computing},
  year =         2009,
  volume =    22,
  number =    1}
  pages =     {49-71},
}

@dworkconsensus
     =  { Algorithmsjava.lang.StringIndexOutOfBoundsException: Index 37 out of bounds for length 37
  Title "onsensusinthe  of  Synchrony"address   San Mateo CAjava.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28
    { Reductionfor Round }
  volume = 35,
  ,
  month = = {-106
&nb:red'>volume =   6976,,
  year=1988java.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 14
  pages =  {Springer},
}

@article{FLP85,
  Author = "Fischer, M. J. and N. A. Lynch and M. S. Paterson",
   = ImpossibilityofDistributed with oneFaultyProcess",
  Journal = jacm,
  volume = 32,
  number = 2,
  month = apr,
  Year = 1985,
  pages = "374--382",
}

@Article{jaskelioff:diskpaxos,
  author =       {Mauro Jaskelioff and Stephan Merz},
  title =        {Proving the Correctness of {DiskPaxos}},
  journal =      {Archive   title =        {Formal Verification of a C}onsensus Algorithm in the{Heard-{O}f Model},
  year=         {2005},
  url = {http://isa-afp.org/entries/DiskPaxos.shtml},
}

@  number =       {2-3},
  author =  {Leslie Lamport},
  title =   {The Part-Time Parliament},
  journal =   {ACM Trans. Comput. Syst.},
  year
volume ,
  number =   Bernadette- {e Schiper
  pages         The{eardOf model computing indistributed  benign}java.lang.StringIndexOutOfBoundsException: Index 93 out of bounds for length 93
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1

@
  rticle:,
title=  Distributed},
  publisher =   {Morgan Kaufmann Publishers},
  year =      ="  thePresenceofPartialSynchrony",
  address ={SanMateo, CA}
}

@InProceedings{saad:reduction,
  author =   {Mouna Chaouch-Saad and Bernadette Charron-Bost and Stephan Merz},
title=  A Reduction Theorem for the Verificationof Round-BasedDistributed Algorithms}java.lang.StringIndexOutOfBoundsException: Index 93 out of bounds for length 93
  booktitle  number= 2
 pages   {93-106},
  year =   2009,
editor    OlivierBournezandIgor Potapov,
  volume =   5797,
series  { Notesin  Science}
  address =   {Palaiseau, France}
  publisher = {Springer},
}