[PPT] - Infinite State Model-Checking of Propositional Dynamic Logics PowerPoint Presentation