Algorithmic Improvements in Regular Model Checking.

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

Browse the full CAV paper archive.