Analysis of recursive state machines (2001)

by R Alur, K Etessami, M Yannakakis
Venue:In 13th International Conference on Computer Aided Verification, (CAV’01), volume 2102 of LNCS