J. Esparza, und F. Reiter. 31st International Conference on Concurrency Theory (CONCUR 2020), Volume 171 von Leibniz International Proceedings in Informatics (LIPIcs), Seite 10:1--10:16. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum für Informatik, (2020)Preprint: <a href="https://arxiv.org/abs/2007.03291">Link</a><br>#conference.
É. Goubault, M. Lazic, J. Ledent, und S. Rajsbaum. DaLí, Volume 12005 von Lecture Notes in Computer Science, Seite 53-70. Springer, (2019)https://arxiv.org/abs/1909.03263.
N. Bertrand, M. Lazić, und J. Widder. Verification, Model Checking, and Abstract Interpretation, Seite 219--239. Springer International Publishing, (2021)
A. Balasubramanian, und K. Thejaswini. 32nd International Conference on Concurrency Theory (CONCUR 2021), Volume 203 von Leibniz International Proceedings in Informatics (LIPIcs), Seite 17:1--17:15. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2021)
S. Sickert, und J. Esparza. Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Seite 831–844. New York, NY, USA, Association for Computing Machinery, (2020)Preprint: <a href="https://arxiv.org/abs/2005.00472">Link</a><br>#conference.
L. D'Antoni, M. Helfrich, J. Kret\'ınský, E. Ramneantu, und M. Weininger. Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, Volume 12225 von Lecture Notes in Computer Science, Seite 3-14. Springer, (Oktober 2020)
L. D'Antoni, M. Helfrich, J. Kretinsky, E. Ramneantu, und M. Weininger. CAV (2), Volume 12225 von Lecture Notes in Computer Science, Seite 3-14. Springer, (2020)Preprint: <a href="https://arxiv.org/abs/2005.01419">Link</a><br>#conference.
M. Blondin, J. Esparza, und A. Kucera. 29th International Conference on Concurrency Theory (CONCUR 2018), Volume 118 von Leibniz International Proceedings in Informatics (LIPIcs), Seite 33:1-33:16. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)https://arxiv.org/abs/1807.00331.
A. Balasubramanian, und I. Walukiewicz. 31st International Conference on Concurrency Theory (CONCUR 2020), Volume 171 von Leibniz International Proceedings in Informatics (LIPIcs), Seite 9:1--9:18. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum für Informatik, (2020)https://arxiv.org/abs/2004.09621.
M. Blondin, J. Esparza, M. Helfrich, A. Kucera, und P. Meyer. Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II, Volume 12225 von Lecture Notes in Computer Science, Seite 372-397. Springer, (Oktober 2020)
M. Blondin, J. Esparza, M. Helfrich, A. Kucera, und P. Meyer. CAV (2), Volume 12225 von Lecture Notes in Computer Science, Seite 372-397. Springer, (2020)Preprint: <a href="https://arxiv.org/abs/2005.03555">Link</a><br>#conference.
A. Balasubramanian. Reachability Problems - 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings, Volume 13608 von Lecture Notes in Computer Science, Seite 125--139. Springer, (2022)
A. Balasubramanian. 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), Volume 213 von Leibniz International Proceedings in Informatics (LIPIcs), Seite 35:1--35:16. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2021)