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, 2017.Note: (to appear)
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},
 note = {(to appear)}
 }
Powered by bibtexbrowser