Katsuyuki Kimura, Shigemasa Takai. Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations. IEICE Transactions, 97-D(5):1140-1148, 2014. [doi]
@article{KimuraT14,
title = {Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations},
author = {Katsuyuki Kimura and Shigemasa Takai},
year = {2014},
url = {http://search.ieice.org/bin/summary.php?id=e97-d_5_1140},
researchr = {https://researchr.org/publication/KimuraT14},
cites = {0},
citedby = {0},
journal = {IEICE Transactions},
volume = {97-D},
number = {5},
pages = {1140-1148},
}