TY  - RPRT
TI  - Computation for Supremal Simulation-Based Controllable and Strong Observable Subautomata
AU  - Yajuan Sun
AU  - Hai Lin
AU  - Fuchun Liu
PY  - 2011
UR  - https://arxiv.org/abs/1101.3500
ID  - 1101.3500
ER  -