Rohit Mishra, Md Zeeshaan, Sanjay Singh. Two Way Concurrent Buffer System without Deadlock in Various Time Models Using Timed Automata. IJCISIM [Internet]. 2014 Jan. 1 [cited 2026 May 4];6:11. Available from: https://cspub-ijcisim.org/index.php/ijcisim/article/view/235