An Abstraction Technique for Parameterized Model Checking of Leader Election Protocols: Application to FTSP.

Ocan Sankur, Jean-Pierre Talpin

Browse the full TACAS paper archive.