Analysis of recursive state machines

Rajeev Alur, Michael Benedikt, Kousha Etessami, Patrice Godefroid, Thomas W. Reps, Mihalis Yannakakis

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Analysis of recursive state machines'. Together they form a unique fingerprint.

Computer Science