DMCA

Analysis of recursive state machines (2005)

by Rajeev Alur , Michael Benedikt , KOUSHA ETESSAMI , Patrice Godefroid , Thomas Reps , MIHALIS YANNAKAKIS
Citations:138 - 29 self