Systematic Acceleration in Regular Model Checking.

Bengt Jonsson, Mayank Saksena

Browse the full CAV paper archive.