%0 Journal Article %1 journals/tsmc/LuZBD14 %A Lu, Faming %A Zeng, Qingtian %A Bao, Yunxia %A Duan, Hua %D 2014 %J IEEE Trans. Systems, Man, and Cybernetics: Systems %K dblp %N 2 %P 220-234 %T Hierarchy Modeling and Formal Verification of Emergency Treatment Processes. %U http://dblp.uni-trier.de/db/journals/tsmc/tsmc44.html#LuZBD14 %V 44

@article{journals/tsmc/LuZBD14, added-at = {2016-03-09T00:00:00.000+0100}, author = {Lu, Faming and Zeng, Qingtian and Bao, Yunxia and Duan, Hua}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/209dba524301e8cb3df794ee4054cbc4b/dblp}, ee = {http://dx.doi.org/10.1109/TSMC.2013.2242465}, interhash = {a31a9f23da0de2cdd37b1d3eeed6c8df}, intrahash = {09dba524301e8cb3df794ee4054cbc4b}, journal = {IEEE Trans. Systems, Man, and Cybernetics: Systems}, keywords = {dblp}, number = 2, pages = {220-234}, timestamp = {2016-03-10T10:44:16.000+0100}, title = {Hierarchy Modeling and Formal Verification of Emergency Treatment Processes.}, url = {http://dblp.uni-trier.de/db/journals/tsmc/tsmc44.html#LuZBD14}, volume = 44, year = 2014 }