Proceedings of the 2022 5th International Conference on Software Engineering and Information Managementсборник

Статьи, опубликованные в сборнике

---

• 
  • 2022 Towards Verification of Probabilistic Multi-Party Consensus Protocols: Constructing Algorithms for Verification of Multi-Party Protocols with Probabilistic Properties
  • Fedotov Ivan, Khritankov Anton, Barger Artem
  • в сборнике Proceedings of the 2022 5th International Conference on Software Engineering and Information Management, серия ICSIM ’22, издательство Association for Computing Machinery (New York, N.Y., United States), с. 100-105 DOI