%0 Journal Article %1 journals/tcst/FeiMAL14 %A Fei, Zhennan %A Miremadi, Sajed %A Åkesson, Knut %A Lennartson, Bengt %D 2014 %J IEEE Trans. Contr. Sys. Techn. %K dblp %N 6 %P 2368-2375 %T Efficient Symbolic Supervisor Synthesis for Extended Finite Automata. %U http://dblp.uni-trier.de/db/journals/tcst/tcst22.html#FeiMAL14 %V 22

@article{journals/tcst/FeiMAL14, added-at = {2014-10-29T00:00:00.000+0100}, author = {Fei, Zhennan and Miremadi, Sajed and Åkesson, Knut and Lennartson, Bengt}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2fdc8daa53720eb522b763ad94da12c1c/dblp}, ee = {http://dx.doi.org/10.1109/TCST.2014.2303134}, interhash = {93b71ee513cff0cda9c496f3a41badb9}, intrahash = {fdc8daa53720eb522b763ad94da12c1c}, journal = {IEEE Trans. Contr. Sys. Techn.}, keywords = {dblp}, number = 6, pages = {2368-2375}, timestamp = {2016-02-02T04:14:17.000+0100}, title = {Efficient Symbolic Supervisor Synthesis for Extended Finite Automata.}, url = {http://dblp.uni-trier.de/db/journals/tcst/tcst22.html#FeiMAL14}, volume = 22, year = 2014 }