TY  - RPRT
TI  - A Timed Process Algebra for Wireless Networks
AU  - Emile Bres
AU  - Rob van Glabbeek
AU  - Peter Höfner
PY  - 2016
DO  - 10.1007/978-3-662-49498-1_5
UR  - https://arxiv.org/abs/1606.03663
ID  - 1606.03663
ER  -