%0 Journal Article %1 journals/tcst/MiremadiL16 %A Miremadi, Sajed %A Lennartson, Bengt %D 2016 %J IEEE Trans. Contr. Sys. Techn. %K dblp %N 5 %P 1705-1716 %T Symbolic On-the-Fly Synthesis in Supervisory Control Theory. %U http://dblp.uni-trier.de/db/journals/tcst/tcst24.html#MiremadiL16 %V 24

@article{journals/tcst/MiremadiL16, added-at = {2016-08-12T00:00:00.000+0200}, author = {Miremadi, Sajed and Lennartson, Bengt}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f3e262ef45548a372116ed1a1dbda312/dblp}, ee = {http://dx.doi.org/10.1109/TCST.2015.2508978}, interhash = {58c81d88b9bf657aedcb77f3fb5c98b7}, intrahash = {f3e262ef45548a372116ed1a1dbda312}, journal = {IEEE Trans. Contr. Sys. Techn.}, keywords = {dblp}, number = 5, pages = {1705-1716}, timestamp = {2016-08-13T09:31:58.000+0200}, title = {Symbolic On-the-Fly Synthesis in Supervisory Control Theory.}, url = {http://dblp.uni-trier.de/db/journals/tcst/tcst24.html#MiremadiL16}, volume = 24, year = 2016 }