A Framework for Automated Verification of Synchronous Fault-Tolerant Distributed Algorithms (bibtex)
by Benjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger
Reference:
A Framework for Automated Verification of Synchronous Fault-Tolerant Distributed AlgorithmsBenjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger1st Women in Logic Workshop, WiL 2017, Reykjavik, Iceland, June 19, 2017, 2017.Note: To appear
Bibtex Entry:
@inproceedings{AminofRubinStoilkovskaWidderZuleger17,
    author    = {Benjamin Aminof and
             Sasha Rubin and
             Ilina Stoilkovska and
             Josef Widder and
             Florian Zuleger},
    title     = {A Framework for Automated Verification of
              Synchronous Fault-Tolerant Distributed Algorithms},
    booktitle = {1st Women in Logic Workshop,  {WiL} 2017,
             Reykjavik, Iceland, June 19, 2017},
    year      = {2017},
    note         = {To appear}
}
Powered by bibtexbrowser