%0 Journal Article %1 journals/chinaf/WangGZ15 %A Wang, ShouGuang %A Gan, Mengdi %A Zhou, MengChu %D 2015 %J Sci. China Inf. Sci. %K dblp %N 3 %P 1-10 %T Macro liveness graph and liveness of ω-independent unbounded nets. %U http://dblp.uni-trier.de/db/journals/chinaf/chinaf58.html#WangGZ15 %V 58

@article{journals/chinaf/WangGZ15, added-at = {2020-03-02T00:00:00.000+0100}, author = {Wang, ShouGuang and Gan, Mengdi and Zhou, MengChu}, biburl = {https://www.bibsonomy.org/bibtex/24a8fec353ec2ca90a42a65c2dd188af9/dblp}, ee = {https://doi.org/10.1007/s11432-014-5239-9}, interhash = {639b8c42e82792039deef2f3831625f9}, intrahash = {4a8fec353ec2ca90a42a65c2dd188af9}, journal = {Sci. China Inf. Sci.}, keywords = {dblp}, number = 3, pages = {1-10}, timestamp = {2020-03-03T11:52:49.000+0100}, title = {Macro liveness graph and liveness of ω-independent unbounded nets.}, url = {http://dblp.uni-trier.de/db/journals/chinaf/chinaf58.html#WangGZ15}, volume = 58, year = 2015 }