@misc{indiciae770bd668b596,
  title = {Synthesis of Insertion Functions to Enforce Decentralized and Joint Opacity Properties of Discrete-event Systems},
  author = {Bo Wu and Jin Dai and Hai Lin},
  year = {2018},
  url = {https://arxiv.org/abs/1802.05728},
  note = {Source identifier: 1802.05728}
}