{"_id":"Hb2EKqMwurk5onPTu","bibbaseid":"zsoltlattmann-johandekleer-billjanssen-tedbapty-matthewklenk-bhaskarsaha-verificationanddesignexplorationthroughmetatoolintegrationwithopenmodelica-2014","downloads":0,"creationDate":"2016-03-02T18:47:37.339Z","title":"Verification and design Exploration through Meta tool integration with OpenModelica","author_short":["Zsolt Lattmann, A. P.","Johan de Kleer, P. F.","Bill Janssen, S. N.","Ted Bapty, X. K.","Matthew Klenk, D. B.","Bhaskar Saha, T. K."],"year":2014,"bibtype":"inproceedings","biburl":"http://www.matthewklenk.com/files/cv.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Zsolt","Lattmann"],"firstnames":["Adrian","Pop"],"suffixes":[]},{"propositions":["Johan","de"],"lastnames":["Kleer"],"firstnames":["Peter","Fritzson"],"suffixes":[]},{"propositions":[],"lastnames":["Bill","Janssen"],"firstnames":["Sandeep","Neema"],"suffixes":[]},{"propositions":[],"lastnames":["Ted","Bapty"],"firstnames":["Xenofon","Koutsoukos"],"suffixes":[]},{"propositions":[],"lastnames":["Matthew","Klenk"],"firstnames":["Daniel","Bobrow"],"suffixes":[]},{"propositions":[],"lastnames":["Bhaskar","Saha"],"firstnames":["Tolga","Kurtoglu"],"suffixes":[]}],"booktitle":"Proceedings of the 10th International Modelica Conference","title":"Verification and design Exploration through Meta tool integration with OpenModelica","year":"2014","address":"Lund, Sweden","bibtex":"@inproceedings{lattmann.modelica.2014,\n author={Zsolt Lattmann, Adrian Pop, Johan de Kleer, Peter Fritzson, Bill Janssen, Sandeep Neema, Ted Bapty, Xenofon Koutsoukos, Matthew Klenk, Daniel Bobrow, Bhaskar Saha, Tolga Kurtoglu},\n booktitle={Proceedings of the 10th International Modelica Conference},\n title={Verification and design Exploration through Meta tool integration with OpenModelica},\n year={2014},\n %venuetype={Conference},\n address={Lund, Sweden}\n}\n\n","author_short":["Zsolt Lattmann, A. P.","Johan de Kleer, P. F.","Bill Janssen, S. N.","Ted Bapty, X. K.","Matthew Klenk, D. B.","Bhaskar Saha, T. K."],"key":"lattmann.modelica.2014","id":"lattmann.modelica.2014","bibbaseid":"zsoltlattmann-johandekleer-billjanssen-tedbapty-matthewklenk-bhaskarsaha-verificationanddesignexplorationthroughmetatoolintegrationwithopenmodelica-2014","role":"author","urls":{},"metadata":{"authorlinks":{}}},"search_terms":["verification","design","exploration","through","meta","tool","integration","openmodelica","zsolt lattmann","johan de kleer","bill janssen","ted bapty","matthew klenk","bhaskar saha"],"keywords":[],"authorIDs":[],"dataSources":["pg6fzxhJLWNEfmaor","6bHxr9hWiPicxeezJ"]}