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 2025 Feb. 21];6:11. Available from: https://cspub-ijcisim.org/index.php/ijcisim/article/view/235