Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries (bibtex)
by Nathalie Bertrand, Igor Konnov, Marijana Lazic, Josef Widder
Reference:
Verification of Randomized Distributed Algorithms under Round-Rigid AdversariesNathalie Bertrand, Igor Konnov, Marijana Lazic, Josef WidderHAL, volume hal-01925533, Nov 2018.
Bibtex Entry:
@article{bertrand:hal-01925533,
  TITLE = {{Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries}},
  AUTHOR = {Bertrand, Nathalie and Konnov, Igor and Lazic, Marijana and Widder, Josef},
  url = {https://hal.inria.fr/hal-01925533},
  YEAR = {2018},
  MONTH = Nov,
  journal = {HAL},
  volume = {hal-01925533},
  HAL_VERSION = {v2},
}
Powered by bibtexbrowser