TY  - RPRT
TI  - PHOENIX: Device-Centric Cellular Network Protocol Monitoring using Runtime Verification
AU  - Mitziu Echeverria
AU  - Zeeshan Ahmed
AU  - Bincheng Wang
AU  - M. Fareed Arif
AU  - Syed Rafiul Hussain
AU  - Omar Chowdhury
PY  - 2021
UR  - https://arxiv.org/abs/2101.00328
ID  - 2101.00328
ER  -