Quellcode-Bibliothek 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
  year = 1988  ={    }
  pages = "288--323"   =  Lecture inComputer}
java.lang.StringIndexOutOfBoundsException: Index 1 out of bounds for length 1

@article{FLP85,
  Author = "Fischer, M. J. and N. A. Lynch and M. S. Paterson",
  Title = "Impossibility of Distributed Consensus@Article{ar-noy:shifting-,
Journal ,
  volume = 32,
  number = 2,
  month=aprjava.lang.StringIndexOutOfBoundsException: Index 14 out of bounds for length 14
  Year       97java.lang.StringIndexOutOfBoundsException: Index 17 out of bounds for length 17
   ="374-"
}

@Article{jaskelioff:diskpaxosauthor=       Michael-Or,
  author =       {Mauro Jaskelioff and Stephan Merz},
  title =                   Anotheradvantage  choice:completely asynchronous  }
  journal =      {Archive of Formal Proofs},
  year =         {2005},
  url={ttp:/sa-afporg/entries/DiskPaxos.shtml},
}

@Article{lamport:partaddress=   {, Canada},
  }
   = { Part-imeParliament},
  journal =   {ACM Trans. Comput. Syst.},
  year =   1998,
  volume =  16,
  number =  2,
  pages =  {133-169},
}

@ author = {Biely, Martin and , Josefand CharronBost,BernadetteandGaillard  and Hutle,  and , Andr'e}}
  author =   {  ={.26thAnnual ACMSymposium PrinciplesofDistributed Computing,
butedAlgorithms
      MorganKaufmannPublishers,
  year =   1996,
  address= SanMateo,CA
}

@InProceedings{saad:reduction,
  author =   {Mouna Chaouch-Saad and Bernadette Charron-Bost and Stephan Merz},
  title= { ReductionTheoremfor  Verification of Round-Based Distributed Algorithms},
  booktitle = {Reachability Problems  = {10},
  pages =  {3-106}java.lang.StringIndexOutOfBoundsException: Index 22 out of bounds for length 22
year  2009,
  editor =   {Olivier }
  volume =  5797,,
  series  {ectureNotesinComputer}
address  PalaiseauFrancejava.lang.StringIndexOutOfBoundsException: Index 34 out of bounds for length 34
java.lang.StringIndexOutOfBoundsException: Index 59 out of bounds for length 25
}