Tutorial: Parameterized Verification with Byzantine Model Checker (bibtex)
by Igor Konnov, Marijana Lazi\'c, Ilina Stoilkovska, Josef Widder
Reference:
Tutorial: Parameterized Verification with Byzantine Model CheckerIgor Konnov, Marijana Lazi\'c, Ilina Stoilkovska, Josef WidderFormal Techniques for Distributed Objects, Components, and Systems, volume 12136 of IFIP-LNCS, 2020.
Bibtex Entry:
@inproceedings{KonnovLSW20,
  author    = {Igor Konnov and
              Marijana Lazi{\'c} and
              Ilina Stoilkovska and
              Josef Widder},
  title     = {{Tutorial: Parameterized Verification with Byzantine Model Checker}},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems},
  booksubtitle = {40th IFIP WG 6.1 International Conference, FORTE 2020,
              Held as Part of the 15th International Federated Conference on Distributed
              Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020,
              Proceedings},
  series    = {IFIP-LNCS},
  volume    = {12136},
  year      = {2020}
}
Powered by bibtexbrowser