Recurrent Reachability Analysis in Regular Model Checking.

Anthony Widjaja To, Leonid Libkin

Browse the full LPAR paper archive.