Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems.

Anthony Widjaja To, Leonid Libkin

Browse the full FOSSACS paper archive.