Rohit Mishra, Md Zeeshaan and Sanjay Singh (2014) “Two Way Concurrent Buffer System without Deadlock in Various Time Models Using Timed Automata”, International Journal of Computer Information Systems and Industrial Management Applications, 6, p. 11. Available at: https://cspub-ijcisim.org/index.php/ijcisim/article/view/235 (Accessed: 3 July 2024).