@UNPUBLISHED{Lausdahl&10b,
  KEY           = "Lausdahl\&10b",
  AUTHOR        = "Kenneth Lausdahl and Peter Gorm Larsen",
  TITLE         = "{VDM-RT Scheduling in Overture}",
  YEAR          = "2009",
  MONTH         = "April",
  SIZE          = "16",
  NOTE          = "{Model driven development using VDM++ and UML II}",
  INSTITUTION   = "Aarhus University/Engineering College of Aarhus",
  COMMENT       = "BIB JAE. I have the presentation. VDM 2 course material."}

%G VDM OVERTURE

{"_id":{"_str":"53b6a8ce7cc42ee75e000215"},"__v":0,"authorIDs":[],"author_short":["Lausdahl, K.","Larsen, P. G."],"bibbaseid":"lausdahl-larsen-vdmrtschedulinginoverture-2009","bibdata":{"bibtype":"unpublished","type":"unpublished","key":"Lausdahl&10b","author":[{"firstnames":["Kenneth"],"propositions":[],"lastnames":["Lausdahl"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]}],"title":"VDM-RT Scheduling in Overture","year":"2009","month":"April","size":"16","note":"Model driven development using VDM++ and UML II","institution":"Aarhus University/Engineering College of Aarhus","comment":"BIB JAE. I have the presentation. VDM 2 course material.","bibtex":"@UNPUBLISHED{Lausdahl&10b,\n KEY = \"Lausdahl\\&10b\",\n AUTHOR = \"Kenneth Lausdahl and Peter Gorm Larsen\",\n TITLE = \"{VDM-RT Scheduling in Overture}\",\n YEAR = \"2009\",\n MONTH = \"April\",\n SIZE = \"16\",\n NOTE = \"{Model driven development using VDM++ and UML II}\",\n INSTITUTION = \"Aarhus University/Engineering College of Aarhus\",\n COMMENT = \"BIB JAE. I have the presentation. VDM 2 course material.\"}\n\n%G VDM OVERTURE\n","author_short":["Lausdahl, K.","Larsen, P. G."],"id":"Lausdahl&10b","bibbaseid":"lausdahl-larsen-vdmrtschedulinginoverture-2009","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"unpublished","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2014-07-04T13:14:54.746Z","downloads":0,"keywords":[],"search_terms":["vdm","scheduling","overture","lausdahl","larsen"],"title":"VDM-RT Scheduling in Overture","year":2009,"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}