Towards an extensible core model for Digital Rights Management in VDM. Lauritsen, R. & Lorenzen, L. In Proceedings of the 10th Overture Workshop 2012, of School of Computing Science, Newcastle University, 2012. bibtex @INPROCEEDINGS{Lauritsen&12,
KEY = "Lauritsen&12",
AUTHOR = "Rasmus Lauritsen and Lasse Lorenzen",
TITLE = "{Towards an extensible core model for Digital
Rights Management in {VDM}}",
BOOKTITLE = "Proceedings of the 10th Overture Workshop 2012",
SERIES = "School of Computing Science, Newcastle University",
YEAR = "2012",
COMMENT = ""}
%G VDM UML TOOL OVERTURE
Downloads: 0
{"_id":"zt5JhsJSWm3ZgRknH","authorIDs":[],"author_short":["Lauritsen, R.","Lorenzen, L."],"bibbaseid":"lauritsen-lorenzen-towardsanextensiblecoremodelfordigitalrightsmanagementinvdm-2012","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Lauritsen&12","author":[{"firstnames":["Rasmus"],"propositions":[],"lastnames":["Lauritsen"],"suffixes":[]},{"firstnames":["Lasse"],"propositions":[],"lastnames":["Lorenzen"],"suffixes":[]}],"title":"Towards an extensible core model for Digital Rights Management in VDM","booktitle":"Proceedings of the 10th Overture Workshop 2012","series":"School of Computing Science, Newcastle University","year":"2012","comment":"","bibtex":"@INPROCEEDINGS{Lauritsen&12,\n KEY = \"Lauritsen&12\",\n AUTHOR = \"Rasmus Lauritsen and Lasse Lorenzen\",\n TITLE = \"{Towards an extensible core model for Digital\nRights Management in {VDM}}\",\n BOOKTITLE = \"Proceedings of the 10th Overture Workshop 2012\",\n SERIES = \"School of Computing Science, Newcastle University\",\n YEAR = \"2012\",\n COMMENT = \"\"}\n\n%G VDM UML TOOL OVERTURE\n","author_short":["Lauritsen, R.","Lorenzen, L."],"id":"Lauritsen&12","bibbaseid":"lauritsen-lorenzen-towardsanextensiblecoremodelfordigitalrightsmanagementinvdm-2012","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2015-02-14T15:03:00.339Z","downloads":0,"keywords":[],"search_terms":["towards","extensible","core","model","digital","rights","management","vdm","lauritsen","lorenzen"],"title":"Towards an extensible core model for Digital Rights Management in VDM","year":2012,"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}