Modelling Different CPU Power States in VDM-RT. Isasa, J. A. E. & Larsen, P. G. In Proceedings of the 11th Overture Workshop 2013, of Aarhus University, June, 2013. bibtex @INPROCEEDINGS{Esparza&13b,
KEY = "Esparza\&13b",
AUTHOR = "Jos\'e Antonio Esparza Isasa and Peter Gorm Larsen",
TITLE = "{Modelling Different CPU Power States in VDM-RT}",
BOOKTITLE = "Proceedings of the 11th Overture Workshop 2013",
SERIES = "Aarhus University",
YEAR = "2013",
MONTH = "June",
COMMENT = "BIB JAE"}
%G VDM OVERTURE
Downloads: 0
{"_id":"JNGr2PHbGYXFwMej2","authorIDs":[],"author_short":["Isasa, J. A. E.","Larsen, P. G."],"bibbaseid":"isasa-larsen-modellingdifferentcpupowerstatesinvdmrt-2013","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Esparza&13b","author":[{"firstnames":["José","Antonio","Esparza"],"propositions":[],"lastnames":["Isasa"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]}],"title":"Modelling Different CPU Power States in VDM-RT","booktitle":"Proceedings of the 11th Overture Workshop 2013","series":"Aarhus University","year":"2013","month":"June","comment":"BIB JAE","bibtex":"@INPROCEEDINGS{Esparza&13b,\n KEY = \"Esparza\\&13b\",\n AUTHOR = \"Jos\\'e Antonio Esparza Isasa and Peter Gorm Larsen\",\n TITLE = \"{Modelling Different CPU Power States in VDM-RT}\",\n BOOKTITLE = \"Proceedings of the 11th Overture Workshop 2013\",\n SERIES = \"Aarhus University\",\n YEAR = \"2013\",\n MONTH = \"June\",\n COMMENT = \"BIB JAE\"}\n\n %G VDM OVERTURE\n","author_short":["Isasa, J. A. E.","Larsen, P. G."],"id":"Esparza&13b","bibbaseid":"isasa-larsen-modellingdifferentcpupowerstatesinvdmrt-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.329Z","downloads":0,"keywords":[],"search_terms":["modelling","different","cpu","power","states","vdm","isasa","larsen"],"title":"Modelling Different CPU Power States in VDM-RT","year":2013,"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}