%0 Journal Article %1 journals/jam/HeWYZW13 %A He, Anping %A Wu, Jinzhao %A Yang, Shihan %A Zhou, Yongquan %A Wang, Juan %D 2013 %J J. Applied Mathematics %K dblp %P 739253:1-739253:7 %T Automata-Based Analysis of Stage Suspended Boom Systems. %U http://dblp.uni-trier.de/db/journals/jam/jam2013.html#HeWYZW13 %V 2013

@article{journals/jam/HeWYZW13, added-at = {2019-06-02T00:00:00.000+0200}, author = {He, Anping and Wu, Jinzhao and Yang, Shihan and Zhou, Yongquan and Wang, Juan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/222ffb221cdc799d4b06c99aafd580e4b/dblp}, ee = {https://www.wikidata.org/entity/Q59004180}, interhash = {95e84caba474290fca1933d3de52b644}, intrahash = {22ffb221cdc799d4b06c99aafd580e4b}, journal = {J. Applied Mathematics}, keywords = {dblp}, pages = {739253:1-739253:7}, timestamp = {2019-09-27T08:18:24.000+0200}, title = {Automata-Based Analysis of Stage Suspended Boom Systems.}, url = {http://dblp.uni-trier.de/db/journals/jam/jam2013.html#HeWYZW13}, volume = 2013, year = 2013 }