I. Berkovits, M. Lazic, G. Losa, O. Padon, und S. Shoham. Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II, Volume 11562 von Lecture Notes in Computer Science, Seite 245--266. Springer, (2019)#conference.
N. Bertrand, V. Gramoli, I. Konnov, M. Lazic, P. Tholoniat, und J. Widder. 36th International Symposium on Distributed Computing (DISC 2022), Volume 246 von LIPIcs, Seite 10:1--10:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)
N. Bertrand, I. Konnov, M. Lazic, und J. Widder. CONCUR, Volume 140 von LIPIcs, Seite 33:1-33:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Preprint: <a href="https://hal.inria.fr/hal-01925533/">Link</a><br>#conference.
N. Bertrand, I. Konnov, M. Lazic, und J. Widder. CONCUR, Volume 140 von LIPIcs, Seite 33:1-33:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)