文章基本信息
- 标题：Two Way Concurrent Buffer System without Deadlock in Various Time Models Using Timed Automata
- 本地全文：下载
- 作者：Rohit Mishra ; Zeeshaan ; Sanjay Singh 等
- 期刊名称：International Journal of Computer Information Systems and Industrial Management Applications
- 印刷版ISSN：2150-7988
- 电子版ISSN：2150-7988
- 出版年度：2014
- 期号：6
- 页码：55-65
- 出版社：Machine Intelligence Research Labs (MIR Labs)
