{"_id":{"_str":"535ed25b97e559e82100052b"},"__v":1,"authorIDs":[],"author_short":["Ender, Y"],"bibbaseid":"ender-modellingandanalysisofsmartgridastochasticmodelcheckingcasestudy-2012","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Ender"],"firstnames":["Y"],"suffixes":[]}],"doi":"10.1109/TASE.2012.44","isbn":"9780769547510","title":"Modelling and Analysis of Smart Grid A Stochastic Model Checking Case Study","year":"2012","bibtex":"@article{Ender2012,\nauthor = {Ender, Y},\ndoi = {10.1109/TASE.2012.44},\nisbn = {9780769547510},\ntitle = {{Modelling and Analysis of Smart Grid A Stochastic Model Checking Case Study}},\nyear = {2012}\n}\n","author_short":["Ender, Y"],"key":"Ender2012","id":"Ender2012","bibbaseid":"ender-modellingandanalysisofsmartgridastochasticmodelcheckingcasestudy-2012","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://dl.dropboxusercontent.com/u/14215034/bibs/bibs/A-List-bb.bib","downloads":0,"keywords":[],"search_terms":["modelling","analysis","smart","grid","stochastic","model","checking","case","study","ender"],"title":"Modelling and Analysis of Smart Grid A Stochastic Model Checking Case Study","year":2012,"dataSources":["jGrSs2aYARmRcupKy"]}