Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
Changyan Zhou and Ratnesh Kumar,Bisimilarity Enforcement for Discrete Event Systems Using Deterministic Control,IEEE Transactions on Automatic Control,0018-9286,Institute of Electrical and Electronics Engineers (IEEE),2011-12,56,12,2986-2991,https://cir.nii.ac.jp/crid/1363388844081406336,https://doi.org/10.1109/tac.2011.2161790