Analysis of recursive state machines (0)

by R Alur, M Benedikt, K Etessami, P Godefroid, T W Reps, M Yannakakis
Venue:ACM Trans. Program. Lang. Syst