@INPROCEEDINGS{Larsen&16b,
  KEY           = "Larsen\&16",
  AUTHOR        = "Peter Gorm Larsen and Jose Esparza and John Fitzgerald and
                   Stefan Hallerstede and Ole Green",
  TITLE         = "{Modelling and Simulating an Agricultural Robot}",
  ORGANIZATION  = "CPS Week",
  PUBLISHER     = "IEEE",
  ADDRESS       = "Vienna, Austria",
  YEAR          = "2016",
  MONTH         = "April",
  PAGES         = "",
  SIZE          = "",
  NOTE          = "",
  ANNOTE        = "",
  COMMENT       = ""}

%G INTOCPSPUB VDM TOOL OVERTURE

{"_id":"phWuEC7ACanMcogWk","bibbaseid":"larsen-esparza-fitzgerald-hallerstede-green-modellingandsimulatinganagriculturalrobot-2016","downloads":0,"creationDate":"2015-10-24T08:58:01.325Z","title":"Modelling and Simulating an Agricultural Robot","author_short":["Larsen, P. G.","Esparza, J.","Fitzgerald, J.","Hallerstede, S.","Green, O."],"year":2016,"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Larsen&16b","author":[{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]},{"firstnames":["Jose"],"propositions":[],"lastnames":["Esparza"],"suffixes":[]},{"firstnames":["John"],"propositions":[],"lastnames":["Fitzgerald"],"suffixes":[]},{"firstnames":["Stefan"],"propositions":[],"lastnames":["Hallerstede"],"suffixes":[]},{"firstnames":["Ole"],"propositions":[],"lastnames":["Green"],"suffixes":[]}],"title":"Modelling and Simulating an Agricultural Robot","organization":"CPS Week","publisher":"IEEE","address":"Vienna, Austria","year":"2016","month":"April","pages":"","size":"","note":"","annote":"","comment":"","bibtex":"@INPROCEEDINGS{Larsen&16b,\n KEY = \"Larsen\\&16\",\n AUTHOR = \"Peter Gorm Larsen and Jose Esparza and John Fitzgerald and\n Stefan Hallerstede and Ole Green\",\n TITLE = \"{Modelling and Simulating an Agricultural Robot}\",\n ORGANIZATION = \"CPS Week\",\n PUBLISHER = \"IEEE\",\n ADDRESS = \"Vienna, Austria\",\n YEAR = \"2016\",\n MONTH = \"April\",\n PAGES = \"\",\n SIZE = \"\",\n NOTE = \"\",\n ANNOTE = \"\",\n COMMENT = \"\"}\n\n%G INTOCPSPUB VDM TOOL OVERTURE\n","author_short":["Larsen, P. G.","Esparza, J.","Fitzgerald, J.","Hallerstede, S.","Green, O."],"id":"Larsen&16b","bibbaseid":"larsen-esparza-fitzgerald-hallerstede-green-modellingandsimulatinganagriculturalrobot-2016","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["modelling","simulating","agricultural","robot","larsen","esparza","fitzgerald","hallerstede","green"],"keywords":[],"authorIDs":[],"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}