@ARTICLE{Verhoef05,
  KEY           = "Verhoef05",
  AUTHOR        = "Marcel Verhoef",
  TITLE         = "{On the Use of {VDM++} for Specifying Real-Time Systems}",
  JOURNAL       = "Proc. First Overture workshop",
  PUBLISHER     = "University of Newcastle-Upon-Tyne, Centre for Software Reliability",
  YEAR          = "2005",
  MONTH         = "November",
  COMMENT       = "I have the proceedings PGL"}

%G VDM VDM++ VDMRT OVERTURE

{"_id":"QxSzerwagYraL3C4q","bibbaseid":"verhoef-ontheuseofvdmforspecifyingrealtimesystems-2005","downloads":0,"creationDate":"2015-06-29T10:05:17.542Z","title":"On the Use of VDM++ for Specifying Real-Time Systems","author_short":["Verhoef, M."],"year":2005,"bibtype":"article","biburl":"https://www.overturetool.org/publications/overtureweb.bib","bibdata":{"bibtype":"article","type":"article","key":"Verhoef05","author":[{"firstnames":["Marcel"],"propositions":[],"lastnames":["Verhoef"],"suffixes":[]}],"title":"On the Use of VDM++ for Specifying Real-Time Systems","journal":"Proc. First Overture workshop","publisher":"University of Newcastle-Upon-Tyne, Centre for Software Reliability","year":"2005","month":"November","comment":"I have the proceedings PGL","bibtex":"@ARTICLE{Verhoef05,\n KEY = \"Verhoef05\",\n AUTHOR = \"Marcel Verhoef\",\n TITLE = \"{On the Use of {VDM++} for Specifying Real-Time Systems}\",\n JOURNAL = \"Proc. First Overture workshop\",\n PUBLISHER = \"University of Newcastle-Upon-Tyne, Centre for Software Reliability\",\n YEAR = \"2005\",\n MONTH = \"November\",\n COMMENT = \"I have the proceedings PGL\"}\n\n%G VDM VDM++ VDMRT OVERTURE\n","author_short":["Verhoef, M."],"id":"Verhoef05","bibbaseid":"verhoef-ontheuseofvdmforspecifyingrealtimesystems-2005","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["use","vdm","specifying","real","time","systems","verhoef"],"keywords":[],"authorIDs":[],"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}