{"_id":"m4TiFfxY3H7sXPxB3","bibbaseid":"matthewklenk-johandekleer-makingmodelicaapplicableforformalmethods-2014","downloads":0,"creationDate":"2016-03-02T18:47:37.338Z","title":"Making Modelica Applicable for Formal Methods","author_short":["Matthew Klenk, D. B.","Johan de Kleer, B. J."],"year":2014,"bibtype":"inproceedings","biburl":"http://www.matthewklenk.com/files/cv.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Matthew","Klenk"],"firstnames":["Daniel","Bobrow"],"suffixes":[]},{"propositions":["Johan","de"],"lastnames":["Kleer"],"firstnames":["Bill","Janssen"],"suffixes":[]}],"booktitle":"Proceedings of the 10th International Modelica Conference","title":"Making Modelica Applicable for Formal Methods","year":"2014","address":"Lund, Sweden","url":"http://www.matthewklenk.com/papers/ModelicaPainPointsForQR.pdf","bibtex":"@inproceedings{klenk.modelica.2014,\n author={Matthew Klenk, Daniel Bobrow, Johan de Kleer, Bill Janssen},\n booktitle={Proceedings of the 10th International Modelica Conference},\n title={Making Modelica Applicable for Formal Methods},\n year={2014},\n %venuetype={Conference},\n address={Lund, Sweden},\n url={http://www.matthewklenk.com/papers/ModelicaPainPointsForQR.pdf}\n}\n\n","author_short":["Matthew Klenk, D. B.","Johan de Kleer, B. J."],"key":"klenk.modelica.2014","id":"klenk.modelica.2014","bibbaseid":"matthewklenk-johandekleer-makingmodelicaapplicableforformalmethods-2014","role":"author","urls":{"Paper":"http://www.matthewklenk.com/papers/ModelicaPainPointsForQR.pdf"},"metadata":{"authorlinks":{}}},"search_terms":["making","modelica","applicable","formal","methods","matthew klenk","johan de kleer"],"keywords":[],"authorIDs":[],"dataSources":["pg6fzxhJLWNEfmaor","6bHxr9hWiPicxeezJ"]}