%0 Journal Article %1 journals/tsmc/LiYZD18 %A Li, Jun %A Yu, Xiaolong %A Zhou, MengChu %A Dai, Xianzhong %D 2018 %J IEEE Trans. Syst. Man Cybern. Syst. %K dblp %N 2 %P 299-308 %T Lean Reachability Tree for Unbounded Petri Nets. %U http://dblp.uni-trier.de/db/journals/tsmc/tsmc48.html#LiYZD18 %V 48

@article{journals/tsmc/LiYZD18, added-at = {2020-05-20T00:00:00.000+0200}, author = {Li, Jun and Yu, Xiaolong and Zhou, MengChu and Dai, Xianzhong}, biburl = {https://www.bibsonomy.org/bibtex/239de7f4299886c0a00d2ff8c3cdcc60c/dblp}, ee = {https://doi.org/10.1109/TSMC.2016.2585348}, interhash = {c797a4b77758578d060dd56b57834da2}, intrahash = {39de7f4299886c0a00d2ff8c3cdcc60c}, journal = {IEEE Trans. Syst. Man Cybern. Syst.}, keywords = {dblp}, number = 2, pages = {299-308}, timestamp = {2020-05-21T11:44:38.000+0200}, title = {Lean Reachability Tree for Unbounded Petri Nets.}, url = {http://dblp.uni-trier.de/db/journals/tsmc/tsmc48.html#LiYZD18}, volume = 48, year = 2018 }