%0 Journal Article %1 journals/chinaf/WangYZ18 %A Wang, Shouguang %A You, Dan %A Zhou, Mengchu %D 2018 %J Sci. China Inf. Sci. %K dblp %N 12 %P 129104:1-129104:3 %T New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets. %U http://dblp.uni-trier.de/db/journals/chinaf/chinaf61.html#WangYZ18 %V 61

@article{journals/chinaf/WangYZ18, added-at = {2020-03-02T00:00:00.000+0100}, author = {Wang, Shouguang and You, Dan and Zhou, Mengchu}, biburl = {https://www.bibsonomy.org/bibtex/2adf62e54422d0d9aed018480b2086bf1/dblp}, ee = {https://doi.org/10.1007/s11432-017-9446-3}, interhash = {0ae22ea4361b6269568d3de849e30381}, intrahash = {adf62e54422d0d9aed018480b2086bf1}, journal = {Sci. China Inf. Sci.}, keywords = {dblp}, number = 12, pages = {129104:1-129104:3}, timestamp = {2020-03-03T11:53:28.000+0100}, title = {New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets.}, url = {http://dblp.uni-trier.de/db/journals/chinaf/chinaf61.html#WangYZ18}, volume = 61, year = 2018 }