Author:
Stoilkovska Ilina,Konnov Igor,Widder Josef,Zuleger Florian
Publisher
Springer International Publishing
Reference38 articles.
1. Lecture Notes in Computer Science;B Aminof,2018
2. Attiya, H., Welch, J.: Distributed Computing, 2nd edn. Wiley, Hoboken (2004)
3. Baier, C., Katoen, J.P.: Principles of Model Checking. MITP, United States (2008)
4. Bakst, A., von Gleissenthall, K., Kici, R.G., Jhala, R.: Verifying distributed programs via canonical sequentialization. PACMPL 1(OOPSLA), 1–27 (2017)
5. Balasubramanian, A.R., Esparza, J., Lazić, M.: Complexity of verification and synthesis of threshold automata. In: ATVA (2020)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献