Analysis of Recursive State Machines (2001)

by Rajeev Alur , Kousha Etessami , Mihalis Yannakakis
Venue:In Proceedings of CAV 2001
Citations:140 - 28 self