Analysis of Recursive State Machines (2001)
Cached
Download Links
- [www.cis.upenn.edu]
- [homepages.inf.ed.ac.uk]
- DBLP
Other Repositories/Bibliography
by
Rajeev Alur
,
Kousha Etessami
,
Mihalis Yannakakis
| Venue: | In Proceedings of CAV 2001 |
| Citations: | 90 - 18 self |
Document Versions
| Analysis of Recursive State Machines –Rajeev Alur, Kousha Etessami, Mihalis Yannakakis — 2001 — In Proceedings of CAV 2001 |
| Analysis of recursive state machines –Rajeev Alur, Kousha Etessami, Mihalis Yannakakis — 2001 — In Proceedings of CAV 2001 |
