TY  - RPRT
TI  - Bisimilarity Enforcing Supervisory Control for Deterministic Specifications
AU  - Yajuan Sun
AU  - Hai Lin
AU  - Ben M. Chen
PY  - 2012
UR  - https://arxiv.org/abs/1203.1745
ID  - 1203.1745
ER  -