Model checking CTL properties of pushdown systems. (2000)

by I Walukiewicz
Venue:In Proceedings of FST&TCS’2000,