Verifying Safety Properties of a Class of Infinite-State Distributed Algorithms.

Bengt Jonsson, Lars Kempe

Browse the full CAV paper archive.