@PHDTHESIS{Verhoef09,
  KEY           = "Verhoef09",
  AUTHOR        = "Marcel Verhoef",
  TITLE         = "{Modeling and Validating Distributed Embedded Real-Time
                    Control Systems}",
  SCHOOL        = "Radboud University Nijmegen",
  YEAR          = "2009",
  NUMBER        = "RU. 2009-01",
  ANNOTE          = "{ISBN 978-90-9023705-3}",
  COMMENT       = "I have a copy PGL"}

%G VDM++ VICE VDM OVERTURE

{"_id":{"_str":"53b7171e7cc42ee75e00044a"},"__v":0,"authorIDs":[],"author_short":["Verhoef, M."],"bibbaseid":"verhoef-modelingandvalidatingdistributedembeddedrealtimecontrolsystems-2009","bibdata":{"bibtype":"phdthesis","type":"phdthesis","key":"Verhoef09","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","annote":"ISBN 978-90-9023705-3","comment":"I have a copy PGL","bibtex":"@PHDTHESIS{Verhoef09,\n KEY = \"Verhoef09\",\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 ANNOTE = \"{ISBN 978-90-9023705-3}\",\n COMMENT = \"I have a copy PGL\"}\n\n%G VDM++ VICE VDM OVERTURE\n","author_short":["Verhoef, M."],"id":"Verhoef09","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"]}