10 citations · 44 across the 22 of their papers we have counts for
1 paper · 2 filters
S. Akshay, Paul Gastin, Shankara Narayanan Krishna +1
The focus of this paper is the analysis of real-time systems with recursion, through the development of good theoretical techniques which are implementable. Time is modeled using c…