Analysis of Recursive State Machines (2001)

by Rajeev Alur, Kousha Etessami, Mihalis Yannakakis
Venue:In Proceedings of CAV 2001