%0 Journal Article %1 journals/automatica/LiuLD11 %A Liu, Fuchun %A Lin, Hai %A Dziong, Zbigniew %D 2011 %J Autom. %K dblp %N 4 %P 782-788 %T Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm. %U http://dblp.uni-trier.de/db/journals/automatica/automatica47.html#LiuLD11 %V 47

@article{journals/automatica/LiuLD11, added-at = {2020-02-20T00:00:00.000+0100}, author = {Liu, Fuchun and Lin, Hai and Dziong, Zbigniew}, biburl = {https://www.bibsonomy.org/bibtex/25d7e6b10f01d87379103770064bcbc61/dblp}, ee = {https://doi.org/10.1016/j.automatica.2011.01.066}, interhash = {648ece4e0245d196ee4326540ec2ea9f}, intrahash = {5d7e6b10f01d87379103770064bcbc61}, journal = {Autom.}, keywords = {dblp}, number = 4, pages = {782-788}, timestamp = {2020-02-21T12:15:31.000+0100}, title = {Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm.}, url = {http://dblp.uni-trier.de/db/journals/automatica/automatica47.html#LiuLD11}, volume = 47, year = 2011 }