TY  - RPRT
TI  - A Constructive Equivalence between Computation Tree Logic and Failure Trace Testing
AU  - Stefan D. Bruda
AU  - Sunita Singh
AU  - A. F. M. Nokib Uddin
AU  - Zhiyu Zhang
AU  - Rui Zuo
PY  - 2019
UR  - https://arxiv.org/abs/1901.10925
ID  - 1901.10925
ER  -