- Timed recursive state machines: Expressiveness and complexity Massimo Benerecetti Adriano Peron Wed 30 May 2018
- Subcubic algorithms for recursive state machines Swarat Chaudhuri Thu 27 June 2013
- Analysis of recursively parallel programs Ahmed Bouajjani Michael Emmi Thu 20 September 2012
- Subcubic algorithms for recursive state machines Swarat Chaudhuri Wed 11 July 2012
- Analysis of recursive state machines Rajeev Alur Michael Benedikt Kousha Etessami Patrice Godefroid Thomas Reps Mihalis Yannakakis Tue 10 July 2012
Library Size: 13G (5 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
