TY  - RPRT
TI  - Extended Insertion Functions for Opacity Enforcement
AU  - Xiaoyan Li
AU  - Christoforos N. Hadjicostis
AU  - Zhiwu Li
PY  - 2020
UR  - https://arxiv.org/abs/2005.04268
ID  - 2005.04268
ER  -