@INPROCEEDINGS{Verhoef06,
  KEY           = "Verhoef06",
  AUTHOR        = "Marcel Verhoef",
  EDITOR        = "J. S. Fitzgerald and P. G. Larsen and N. Plat",
  TITLE         = "{On the Use of VDM++ for Specifying Real-Time Systems}",
  BOOKTITLE     = "{Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005}",
  ADDRESS       = "School of Computing Science, Newcastle University, Technical Report CS-TR-969",
  YEAR          = "2006",
  MONTH         = "June",
  PAGES         = "26--43"
}

%G VDM VDM++ VICE TOOL MACPJ OVERTURE

{"_id":"YKTz22R7RLcYLCg5m","authorIDs":[],"author_short":["Verhoef, M."],"bibbaseid":"verhoef-ontheuseofvdmforspecifyingrealtimesystems-2006","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Verhoef06","author":[{"firstnames":["Marcel"],"propositions":[],"lastnames":["Verhoef"],"suffixes":[]}],"editor":[{"firstnames":["J.","S."],"propositions":[],"lastnames":["Fitzgerald"],"suffixes":[]},{"firstnames":["P.","G."],"propositions":[],"lastnames":["Larsen"],"suffixes":[]},{"firstnames":["N."],"propositions":[],"lastnames":["Plat"],"suffixes":[]}],"title":"On the Use of VDM++ for Specifying Real-Time Systems","booktitle":"Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005","address":"School of Computing Science, Newcastle University, Technical Report CS-TR-969","year":"2006","month":"June","pages":"26–43","bibtex":"@INPROCEEDINGS{Verhoef06,\n KEY = \"Verhoef06\",\n AUTHOR = \"Marcel Verhoef\",\n EDITOR = \"J. S. Fitzgerald and P. G. Larsen and N. Plat\",\n TITLE = \"{On the Use of VDM++ for Specifying Real-Time Systems}\",\n BOOKTITLE = \"{Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005}\",\n ADDRESS = \"School of Computing Science, Newcastle University, Technical Report CS-TR-969\",\n YEAR = \"2006\",\n MONTH = \"June\",\n PAGES = \"26--43\"\n}\n\n%G VDM VDM++ VICE TOOL MACPJ OVERTURE\n","author_short":["Verhoef, M."],"editor_short":["Fitzgerald, J. S.","Larsen, P. G.","Plat, N."],"id":"Verhoef06","bibbaseid":"verhoef-ontheuseofvdmforspecifyingrealtimesystems-2006","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2015-02-14T15:03:00.387Z","downloads":0,"keywords":[],"search_terms":["use","vdm","specifying","real","time","systems","verhoef"],"title":"On the Use of VDM++ for Specifying Real-Time Systems","year":2006,"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}