TY  - RPRT
TI  - Two Way Concurrent Buffer System without Deadlock in Various Time Models Using Timed Automata
AU  - Rohit Mishra
AU  - Md Zeeshan
AU  - Sanjay Singh
PY  - 2013
UR  - https://arxiv.org/abs/1209.2376
ID  - 1209.2376
ER  -