Analysis of recursive state machines (2005)

by R ALUR, M BENEDIKT, K ETESSAMI, P GODEFROID, T W REPS, M YANNAKAKIS
Venue:ACM Trans. Program. Lang. Syst