Veryfying Parameterized Networks using Abstraction and Regular Languages.

Edmund M. Clarke, Orna Grumberg, Somesh Jha

Browse the full CONCUR paper archive.