@UNPUBLISHED{Lausdahl&13b,
  KEY           	= "Lausdahl\&13b",
  AUTHOR        	= "Kenneth Lausdahl and Joey W. Coleman and Peter Gorm Larsen",
  TITLE         	= "{The Execution Semantics of VDM Real-Time in a Co-Simulation Environment}",
  NOTE				= "{Submitted for publication to the International Journal on Software Tools for Technology Transfer}",
  YEAR          	= "2013",
  MONTH         	= "June",
}

%G VDM TOOL VDM++ OVERTURE

{"_id":{"_str":"53b6a8ce7cc42ee75e000213"},"__v":0,"authorIDs":[],"author_short":["Lausdahl, K.","Coleman, J. W.","Larsen, P. G."],"bibbaseid":"lausdahl-coleman-larsen-theexecutionsemanticsofvdmrealtimeinacosimulationenvironment-2013","bibdata":{"bibtype":"unpublished","type":"unpublished","key":"Lausdahl&13b","author":[{"firstnames":["Kenneth"],"propositions":[],"lastnames":["Lausdahl"],"suffixes":[]},{"firstnames":["Joey","W."],"propositions":[],"lastnames":["Coleman"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]}],"title":"The Execution Semantics of VDM Real-Time in a Co-Simulation Environment","note":"Submitted for publication to the International Journal on Software Tools for Technology Transfer","year":"2013","month":"June","bibtex":"@UNPUBLISHED{Lausdahl&13b,\n KEY \t= \"Lausdahl\\&13b\",\n AUTHOR \t= \"Kenneth Lausdahl and Joey W. Coleman and Peter Gorm Larsen\",\n TITLE \t= \"{The Execution Semantics of VDM Real-Time in a Co-Simulation Environment}\",\n NOTE\t\t\t\t= \"{Submitted for publication to the International Journal on Software Tools for Technology Transfer}\",\n YEAR \t= \"2013\",\n MONTH \t= \"June\",\n}\n\n%G VDM TOOL VDM++ OVERTURE\n","author_short":["Lausdahl, K.","Coleman, J. W.","Larsen, P. G."],"id":"Lausdahl&13b","bibbaseid":"lausdahl-coleman-larsen-theexecutionsemanticsofvdmrealtimeinacosimulationenvironment-2013","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"unpublished","biburl":"https://raw.githubusercontent.com/overturetool/overturetool.github.io/4dc3b48401a19f22e819296af3a5451a27d04f27/publications/overtureweb.bib","creationDate":"2014-07-04T13:14:54.651Z","downloads":0,"keywords":[],"search_terms":["execution","semantics","vdm","real","time","simulation","environment","lausdahl","coleman","larsen"],"title":"The Execution Semantics of VDM Real-Time in a Co-Simulation Environment","year":2013,"dataSources":["Ys3ykPbs2mksSbLyZ"]}