Tutorial: Parameterized Verification with Byzantine Model Checker (bibtex)
by Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder
Reference:
Tutorial: Parameterized Verification with Byzantine Model CheckerIgor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef WidderFORTE 2020, pages 189–207, 2020.
Bibtex Entry:
@inproceedings{0001LSW20,
  author    = {Igor Konnov and
               Marijana Lazic and
               Ilina Stoilkovska and
               Josef Widder},
  title     = {Tutorial: Parameterized Verification with Byzantine Model Checker},
  booktitle = {FORTE 2020},
  pages     = {189--207},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-50086-3\_11},
}
Powered by bibtexbrowser