TY  - RPRT
TI  - A Formal Approach to Distributed System Tests Design
AU  - Andrey A. Shchurov
AU  - Radek Marik
PY  - 2014
UR  - https://arxiv.org/abs/1410.1747
ID  - 1410.1747
ER  -