Thinniyam, Ramanathan S.
- Context-Bounded Verification of Thread Pools
2021/11/17 by Baumann, Pascal, Majumdar, Rupak, Thinniyam, Ramanathan S. +1 · 2 citations
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Programming Languages (cs.PL)