TY  - RPRT
TI  - Formal Methods and Event Notification Systems in Mobile Computing Environment
AU  - Prashant Kumar
AU  - R. K. Ghosh
PY  - 2019
UR  - https://arxiv.org/abs/1909.02599
ID  - 1909.02599
ER  -