A Survey of Regular Model Checking.

Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Mayank Saksena

Browse the full CONCUR paper archive.