Regular Model Checking Made Simple and Efficient.

Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso

Browse the full CONCUR paper archive.