%0 Journal Article %1 journals/tsmc/IonescuL95 %A Ionescu, Dan %A Lin, Jing-Yue %D 1995 %J IEEE Trans. Syst. Man Cybern. %K dblp %N 12 %P 1595-1605 %T Optimal supervision of discrete event systems in a temporal logic framework. %U http://dblp.uni-trier.de/db/journals/tsmc/tsmc25.html#IonescuL95 %V 25

@article{journals/tsmc/IonescuL95, added-at = {2020-07-28T00:00:00.000+0200}, author = {Ionescu, Dan and Lin, Jing-Yue}, biburl = {https://www.bibsonomy.org/bibtex/287f4abc4ffa1a58510b5f0f6a5e18b45/dblp}, ee = {https://doi.org/10.1109/21.478447}, interhash = {266c265e18f714cb5466d6f01e6e98ba}, intrahash = {87f4abc4ffa1a58510b5f0f6a5e18b45}, journal = {IEEE Trans. Syst. Man Cybern.}, keywords = {dblp}, number = 12, pages = {1595-1605}, timestamp = {2020-07-29T11:36:42.000+0200}, title = {Optimal supervision of discrete event systems in a temporal logic framework.}, url = {http://dblp.uni-trier.de/db/journals/tsmc/tsmc25.html#IonescuL95}, volume = 25, year = 1995 }