Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction (bibtex)
by Benjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian Zuleger
Reference:
Parameterized Model Checking of Synchronous Distributed Algorithms by AbstractionBenjamin Aminof, Sasha Rubin, Ilina Stoilkovska, Josef Widder, Florian ZulegerVMCAI, 2018.Note: (to appear)
Bibtex Entry:
@inproceedings{ARSWZ18,
  author = {Benjamin Aminof and Sasha Rubin and Ilina
  Stoilkovska and Josef Widder and Florian Zuleger},
  title = {Parameterized Model Checking of Synchronous Distributed Algorithms by
  Abstraction},
  booktitle = {VMCAI},
  year = {2018},
  note = {(to appear)}
  }
Powered by bibtexbrowser