%0 Journal Article %1 journals/tii/Gao0H18 %A Gao, Min %A Wang, Kun %A He, Lei %D 2018 %J IEEE Trans. Ind. Informatics %K dblp %N 4 %P 1501-1510 %T Probabilistic Model Checking and Scheduling Implementation of an Energy Router System in Energy Internet for Green Cities. %U http://dblp.uni-trier.de/db/journals/tii/tii14.html#Gao0H18 %V 14

@article{journals/tii/Gao0H18, added-at = {2022-10-02T00:00:00.000+0200}, author = {Gao, Min and Wang, Kun and He, Lei}, biburl = {https://www.bibsonomy.org/bibtex/2566c0ba2f525b80bbf339cb9df2720a6/dblp}, ee = {https://doi.org/10.1109/TII.2018.2791537}, interhash = {43ede28e81fa4c9de74845bc3bfa1b02}, intrahash = {566c0ba2f525b80bbf339cb9df2720a6}, journal = {IEEE Trans. Ind. Informatics}, keywords = {dblp}, number = 4, pages = {1501-1510}, timestamp = {2024-04-08T15:02:24.000+0200}, title = {Probabilistic Model Checking and Scheduling Implementation of an Energy Router System in Energy Internet for Green Cities.}, url = {http://dblp.uni-trier.de/db/journals/tii/tii14.html#Gao0H18}, volume = 14, year = 2018 }