%0 Conference Proceedings
%F thomas:hal-03996060
%A Thomas, Bastien
%A Sankur, Ocan
%T {PyLTA: A Verification Tool for Parameterized Distributed Algorithms}
%B {TACAS 2023 - 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}
%C Paris, France
%U https://hal.science/hal-03996060/file/main.pdf
%8 April
%D 2023