%0 Conference Proceedings
%F sankur:hal-01431472
%A Sankur, O.
%A Talpin, J.-P.
%T {An Abstraction Technique For Parameterized Model Checking of Leader Election Protocols: Application to FTSP}
%B {23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)}
%V 10206
%S Lecture Notes in Computer Science
%C Uppsala, Sweden
%U https://hal.archives-ouvertes.fr/hal-01431472/file/formal.pdf
%8 April
%D 2017