EasyChair Smart Slide
Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction
Parameterized Model Checking of Synchronous Distributed Algorithms by Abstraction