@INPROCEEDINGS{Verhoef&07,
  KEY           = "Verhoef\&07",
  AUTHOR        = "Marcel Verhoef and Peter Gorm Larsen",
  EDITOR        = "Brian Sauser and Gerrit Muller",
  TITLE         = "{Interpreting Distributed System Architectures Using VDM++
                   -- A Case Study}",
  BOOKTITLE     = "5th Annual Conference on Systems Engineering Research",
  PUBLISHER     = "",
  YEAR          = "2007",
  MONTH         = "March",
  NOTE          = "{Available at http://www.stevens.edu/engineering/cser/}",
  ANNOTE        = "",
  COMMENT       = "I have the sources (PGL)"}

%G VDM VDM++ OVERTURE

{"_id":{"_str":"53b7171e7cc42ee75e000442"},"__v":0,"authorIDs":[],"author_short":["Verhoef, M.","Larsen, P. G."],"bibbaseid":"verhoef-larsen-interpretingdistributedsystemarchitecturesusingvdmacasestudy-2007","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Verhoef&07","author":[{"firstnames":["Marcel"],"propositions":[],"lastnames":["Verhoef"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]}],"editor":[{"firstnames":["Brian"],"propositions":[],"lastnames":["Sauser"],"suffixes":[]},{"firstnames":["Gerrit"],"propositions":[],"lastnames":["Muller"],"suffixes":[]}],"title":"Interpreting Distributed System Architectures Using VDM++ – A Case Study","booktitle":"5th Annual Conference on Systems Engineering Research","publisher":"","year":"2007","month":"March","note":"Available at http://www.stevens.edu/engineering/cser/","annote":"","comment":"I have the sources (PGL)","bibtex":"@INPROCEEDINGS{Verhoef&07,\n KEY = \"Verhoef\\&07\",\n AUTHOR = \"Marcel Verhoef and Peter Gorm Larsen\",\n EDITOR = \"Brian Sauser and Gerrit Muller\",\n TITLE = \"{Interpreting Distributed System Architectures Using VDM++\n -- A Case Study}\",\n BOOKTITLE = \"5th Annual Conference on Systems Engineering Research\",\n PUBLISHER = \"\",\n YEAR = \"2007\",\n MONTH = \"March\",\n NOTE = \"{Available at http://www.stevens.edu/engineering/cser/}\",\n ANNOTE = \"\",\n COMMENT = \"I have the sources (PGL)\"}\n\n%G VDM VDM++ OVERTURE\n","author_short":["Verhoef, M.","Larsen, P. G."],"editor_short":["Sauser, B.","Muller, G."],"id":"Verhoef&07","bibbaseid":"verhoef-larsen-interpretingdistributedsystemarchitecturesusingvdmacasestudy-2007","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2014-07-04T21:05:34.599Z","downloads":0,"keywords":[],"search_terms":["interpreting","distributed","system","architectures","using","vdm","case","study","verhoef","larsen"],"title":"Interpreting Distributed System Architectures Using VDM++ – A Case Study","year":2007,"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","Ry4ofsSkWAkHhY8ov","nGw4dfQFrDZqKC8vj"]}