<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2005-08-18 15:37:21Formal methods Computer science Büchi automaton State diagram Finite-state machine Model theory Stack Models of computation Automata theory Theoretical computer science |
|
| First Page | Document Content | |
|---|---|---|
Date: 2005-08-18 15:37:21Formal methods Computer science Büchi automaton State diagram Finite-state machine Model theory Stack Models of computation Automata theory Theoretical computer science |
|
Analysis of Recursive State Machines RAJEEV ALUR University of Pennsylvania MICHAEL BENEDIKT Bell Laboratories KOUSHA ETESSAMI