@INPROCEEDINGS{Battle17,
  KEY           = "Battle17",
  AUTHOR        = "Nick Battle",
  EDITOR        = "{Fitzgerald, Tran-J\o{}rgensen, Oda}",
  TITLE         = "{Analysis Separation without Visitors}",
  BOOKTITLE     = "The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering",
  ORGANIZATION  = "Newcastle University",
  PUBLISHER     = "Computing Science. Technical Report Series.  CS-TR-1513",
  ADDRESS       = "Newcastle, UK",
  YEAR          = "2017",
  MONTH         = "September",
  PAGES         = "104--115",
  NOTE          = "",
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM OVERTURE TOOL DIT4CPS

{"_id":"a4DnJiX2nZkr8YZSd","bibbaseid":"battle-analysisseparationwithoutvisitors-2017","downloads":0,"creationDate":"2017-11-12T10:23:12.405Z","title":"Analysis Separation without Visitors","author_short":["Battle, N."],"year":2017,"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Battle17","author":[{"firstnames":["Nick"],"propositions":[],"lastnames":["Battle"],"suffixes":[]}],"editor":[{"firstnames":[],"propositions":[],"lastnames":["Fitzgerald, Tran-Jørgensen"],"suffixes":[]}],"title":"Analysis Separation without Visitors","booktitle":"The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering","organization":"Newcastle University","publisher":"Computing Science. Technical Report Series. CS-TR-1513","address":"Newcastle, UK","year":"2017","month":"September","pages":"104–115","note":"","annote":"","comment":"","bibtex":"@INPROCEEDINGS{Battle17,\n KEY = \"Battle17\",\n AUTHOR = \"Nick Battle\",\n EDITOR = \"{Fitzgerald, Tran-J\\o{}rgensen, Oda}\",\n TITLE = \"{Analysis Separation without Visitors}\",\n BOOKTITLE = \"The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering\",\n ORGANIZATION = \"Newcastle University\",\n PUBLISHER = \"Computing Science. Technical Report Series. CS-TR-1513\",\n ADDRESS = \"Newcastle, UK\",\n YEAR = \"2017\",\n MONTH = \"September\",\n PAGES = \"104--115\",\n NOTE = \"\",\n ANNOTE = \"\",\n COMMENT = \"\"}\n\n%G VDM OVERTURE TOOL DIT4CPS\n","author_short":["Battle, N."],"editor_short":["Fitzgerald, Tran-Jørgensen"],"id":"Battle17","bibbaseid":"battle-analysisseparationwithoutvisitors-2017","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["analysis","separation","without","visitors","battle"],"keywords":[],"authorIDs":[],"dataSources":["o4zfqwm7cQsSnyzzT","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}