@PHDTHESIS{Verhoef08,
  KEY           = "Verhoef08",
  AUTHOR        = "Marcel Verhoef",
  TITLE         = "{Modeling and Validating Distributed Embedded Real-Time
                    Control Systems}",
  SCHOOL        = "Radboud University Nijmegen",
  YEAR          = "2009",
  NUMBER        = "RU. 2009-01",
  NOTE          = "The right one is \cite{Verhoef09}",
  ANNOTE        = "{ISBN 978-90-9023705-3}",
  COMMENT       = "I have a copy PGL.  Please use Verhoef09 instead of this cite."}

%G VDM VDM++ VICE TOOL OVERTURE

{"_id":{"_str":"53b7171e7cc42ee75e00044a"},"__v":0,"authorIDs":[],"author_short":["Verhoef, M."],"bibbaseid":"verhoef-modelingandvalidatingdistributedembeddedrealtimecontrolsystems-2009","bibdata":{"bibtype":"phdthesis","type":"phdthesis","key":"Verhoef08","author":[{"firstnames":["Marcel"],"propositions":[],"lastnames":["Verhoef"],"suffixes":[]}],"title":"Modeling and Validating Distributed Embedded Real-Time Control Systems","school":"Radboud University Nijmegen","year":"2009","number":"RU. 2009-01","note":"The right one is i̧teVerhoef09","annote":"ISBN 978-90-9023705-3","comment":"I have a copy PGL. Please use Verhoef09 instead of this cite.","bibtex":"@PHDTHESIS{Verhoef08,\n KEY = \"Verhoef08\",\n AUTHOR = \"Marcel Verhoef\",\n TITLE = \"{Modeling and Validating Distributed Embedded Real-Time\n Control Systems}\",\n SCHOOL = \"Radboud University Nijmegen\",\n YEAR = \"2009\",\n NUMBER = \"RU. 2009-01\",\n NOTE = \"The right one is \\cite{Verhoef09}\",\n ANNOTE = \"{ISBN 978-90-9023705-3}\",\n COMMENT = \"I have a copy PGL. Please use Verhoef09 instead of this cite.\"}\n\n%G VDM VDM++ VICE TOOL OVERTURE\n","author_short":["Verhoef, M."],"id":"Verhoef08","bibbaseid":"verhoef-modelingandvalidatingdistributedembeddedrealtimecontrolsystems-2009","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"phdthesis","biburl":"https://raw.githubusercontent.com/overturetool/overturetool.github.io/4dc3b48401a19f22e819296af3a5451a27d04f27/publications/overtureweb.bib","creationDate":"2014-07-04T21:05:34.700Z","downloads":0,"keywords":[],"search_terms":["modeling","validating","distributed","embedded","real","time","control","systems","verhoef"],"title":"Modeling and Validating Distributed Embedded Real-Time Control Systems","year":2009,"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","Ry4ofsSkWAkHhY8ov","nGw4dfQFrDZqKC8vj"]}