Modelling a Smart Grid System-of-Systems using VDM. Hallerstede, S. & Larsen, P. G. In Overture 2013, Technical Report, ECE-TR-17, August, 2013. Aarhus University. bibtex @INPROCEEDINGS{Hallerstede&13,
KEY = "Hallerstede\&13",
AUTHOR = "Stefan Hallerstede and Peter Gorm Larsen",
TITLE = "Modelling a Smart Grid System-of-Systems using VDM",
BOOKTITLE = "Overture 2013",
PUBLISHER = "Aarhus University",
ADDRESS = "Technical Report, ECE-TR-17",
YEAR = "2013",
MONTH = "August",
ANNOTE = "",
COMMENT = "BIB PGL"}
%G VDM OVERTURE
Downloads: 0
{"_id":"NzGxY8tucQF4p96E5","authorIDs":[],"author_short":["Hallerstede, S.","Larsen, P. G."],"bibbaseid":"hallerstede-larsen-modellingasmartgridsystemofsystemsusingvdm-2013","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Hallerstede&13","author":[{"firstnames":["Stefan"],"propositions":[],"lastnames":["Hallerstede"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]}],"title":"Modelling a Smart Grid System-of-Systems using VDM","booktitle":"Overture 2013","publisher":"Aarhus University","address":"Technical Report, ECE-TR-17","year":"2013","month":"August","annote":"","comment":"BIB PGL","bibtex":"@INPROCEEDINGS{Hallerstede&13,\n KEY = \"Hallerstede\\&13\",\n AUTHOR = \"Stefan Hallerstede and Peter Gorm Larsen\",\n TITLE = \"Modelling a Smart Grid System-of-Systems using VDM\",\n BOOKTITLE = \"Overture 2013\",\n PUBLISHER = \"Aarhus University\",\n ADDRESS = \"Technical Report, ECE-TR-17\",\n YEAR = \"2013\",\n MONTH = \"August\",\n ANNOTE = \"\",\n COMMENT = \"BIB PGL\"}\n\n%G VDM OVERTURE\n","author_short":["Hallerstede, S.","Larsen, P. G."],"id":"Hallerstede&13","bibbaseid":"hallerstede-larsen-modellingasmartgridsystemofsystemsusingvdm-2013","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2015-02-14T15:03:00.332Z","downloads":0,"keywords":[],"search_terms":["modelling","smart","grid","system","systems","using","vdm","hallerstede","larsen"],"title":"Modelling a Smart Grid System-of-Systems using VDM","year":2013,"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}