CTL* Model Checking on Infinite Families of Finite-State Labeled Transition Systems.

Roberto Pettinau, Christoph Matheja

Browse the full TACAS paper archive.