@inproceedings{conf/ifm/BoultonGHKM04,
  added-at = {2024-10-14T00:00:00.000+0200},
  author = {Boulton, Richard J. and Gottliebsen, Hanne and Hardy, Ruth and Kelsey, Tom W. and Martin, Ursula},
  biburl = {https://www.bibsonomy.org/bibtex/2a7000884fc511d2c30ff2a834adc1421/dblp},
  booktitle = {IFM},
  crossref = {conf/ifm/2004},
  editor = {Boiten, Eerke A. and Derrick, John and Smith, Graeme},
  ee = {https://www.wikidata.org/entity/Q61442815},
  interhash = {79aa8ee7cd713daa47672cf2d96bf1dc},
  intrahash = {a7000884fc511d2c30ff2a834adc1421},
  isbn = {3-540-21377-5},
  keywords = {dblp},
  pages = {21-35},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2024-10-21T07:28:46.000+0200},
  title = {Design Verification for Control Engineering.},
  url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2004.html#BoultonGHKM04},
  volume = 2999,
  year = 2004
}

{"_id":"avNFmh8gejyT9oSTW","bibbaseid":"boulton-gottliebsen-hardy-kelsey-martin-designverificationforcontrolengineering-2004","author_short":["Boulton, R. J.","Gottliebsen, H.","Hardy, R.","Kelsey, T. W.","Martin, U."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2024-10-14T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Boulton"],"firstnames":["Richard","J."],"suffixes":[]},{"propositions":[],"lastnames":["Gottliebsen"],"firstnames":["Hanne"],"suffixes":[]},{"propositions":[],"lastnames":["Hardy"],"firstnames":["Ruth"],"suffixes":[]},{"propositions":[],"lastnames":["Kelsey"],"firstnames":["Tom","W."],"suffixes":[]},{"propositions":[],"lastnames":["Martin"],"firstnames":["Ursula"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2a7000884fc511d2c30ff2a834adc1421/dblp","booktitle":"IFM","crossref":"conf/ifm/2004","editor":[{"propositions":[],"lastnames":["Boiten"],"firstnames":["Eerke","A."],"suffixes":[]},{"propositions":[],"lastnames":["Derrick"],"firstnames":["John"],"suffixes":[]},{"propositions":[],"lastnames":["Smith"],"firstnames":["Graeme"],"suffixes":[]}],"ee":"https://www.wikidata.org/entity/Q61442815","interhash":"79aa8ee7cd713daa47672cf2d96bf1dc","intrahash":"a7000884fc511d2c30ff2a834adc1421","isbn":"3-540-21377-5","keywords":"dblp","pages":"21-35","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2024-10-21T07:28:46.000+0200","title":"Design Verification for Control Engineering.","url":"http://dblp.uni-trier.de/db/conf/ifm/ifm2004.html#BoultonGHKM04","volume":"2999","year":"2004","bibtex":"@inproceedings{conf/ifm/BoultonGHKM04,\n added-at = {2024-10-14T00:00:00.000+0200},\n author = {Boulton, Richard J. and Gottliebsen, Hanne and Hardy, Ruth and Kelsey, Tom W. and Martin, Ursula},\n biburl = {https://www.bibsonomy.org/bibtex/2a7000884fc511d2c30ff2a834adc1421/dblp},\n booktitle = {IFM},\n crossref = {conf/ifm/2004},\n editor = {Boiten, Eerke A. and Derrick, John and Smith, Graeme},\n ee = {https://www.wikidata.org/entity/Q61442815},\n interhash = {79aa8ee7cd713daa47672cf2d96bf1dc},\n intrahash = {a7000884fc511d2c30ff2a834adc1421},\n isbn = {3-540-21377-5},\n keywords = {dblp},\n pages = {21-35},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2024-10-21T07:28:46.000+0200},\n title = {Design Verification for Control Engineering.},\n url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2004.html#BoultonGHKM04},\n volume = 2999,\n year = 2004\n}\n\n","author_short":["Boulton, R. J.","Gottliebsen, H.","Hardy, R.","Kelsey, T. W.","Martin, U."],"editor_short":["Boiten, E. A.","Derrick, J.","Smith, G."],"key":"conf/ifm/BoultonGHKM04","id":"conf/ifm/BoultonGHKM04","bibbaseid":"boulton-gottliebsen-hardy-kelsey-martin-designverificationforcontrolengineering-2004","role":"author","urls":{"Link":"https://www.wikidata.org/entity/Q61442815","Paper":"http://dblp.uni-trier.de/db/conf/ifm/ifm2004.html#BoultonGHKM04"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Hardy?items=1000","dataSources":["rN3BH95XsZidWYd7J"],"keywords":["dblp"],"search_terms":["design","verification","control","engineering","boulton","gottliebsen","hardy","kelsey","martin"],"title":"Design Verification for Control Engineering.","year":2004}