Synthesis of Distributed Algorithms with Parameterized Threshold Guards (bibtex)
by Marijana Lazic, Igor Konnov, Josef Widder, Roderick Bloem
Reference:
Synthesis of Distributed Algorithms with Parameterized Threshold GuardsMarijana Lazic, Igor Konnov, Josef Widder, Roderick BloemOPODIS, volume 95 of LIPIcs, pages 32:1-32:20, 2017.
Bibtex Entry:
@inproceedings{LKWB17:opodis,
  author = {Marijana Lazic and Igor Konnov and Josef Widder and Roderick Bloem},
title = {Synthesis of Distributed
  Algorithms with Parameterized Threshold Guards},
 booktitle = {OPODIS},
 year = {2017},
 series    = {LIPIcs},
 pages     = {32:1--32:20},
 volume    = {95},
 url = {https://doi.org/10.4230/LIPIcs.OPODIS.2017.32}
 }
Powered by bibtexbrowser