{"_id":"y7fukrHN97n2SB34F","bibbaseid":"mohamedbeillahi-siddique-tahar-formalanalysisofpowerelectronicsystems-2015","downloads":0,"creationDate":"2016-03-10T03:33:30.764Z","title":"Formal Analysis of Power Electronic Systems","author_short":["Mohamed Beillahi, S.","Siddique, U.","Tahar, S."],"year":2015,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/icfem/BeillahiST15","bibdata":{"title":"Formal Analysis of Power Electronic Systems","author":["Sidi Mohamed Beillahi","Umair Siddique","Sofiène Tahar"],"author_short":["Mohamed Beillahi, S.","Siddique, U.","Tahar, S."],"bibtype":"inproceedings","type":"inproceedings","year":"2015","key":"dblp1829738","id":"dblp1829738","biburl":"http://www.dblp.org/rec/bibtex/conf/icfem/BeillahiST15","url":"http://dx.doi.org/10.1007/978-3-319-25423-4_17","conference":"ICFEM","pages":"270-286","text":"ICFEM 2015:270-286","booktitle":"Proceedings of International Conference on Formal Engineering Methods (ICFEM)","bibtex":"@inproceedings{ dblp1829738,\n title = {Formal Analysis of Power Electronic Systems},\n author = {Sidi Mohamed Beillahi and Umair Siddique and Sofiène Tahar},\n author_short = {Mohamed Beillahi, S. and Siddique, U. and Tahar, S.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2015},\n key = {dblp1829738},\n id = {dblp1829738},\n biburl = {http://www.dblp.org/rec/bibtex/conf/icfem/BeillahiST15},\n url = {http://dx.doi.org/10.1007/978-3-319-25423-4_17},\n conference = {ICFEM},\n pages = {270-286},\n text = {ICFEM 2015:270-286},\n booktitle = {Proceedings of International Conference on Formal Engineering Methods (ICFEM)}\n}","bibbaseid":"mohamedbeillahi-siddique-tahar-formalanalysisofpowerelectronicsystems-2015","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-319-25423-4_17"},"downloads":0,"html":""},"search_terms":["formal","analysis","power","electronic","systems","mohamed beillahi","siddique","tahar"],"keywords":[],"authorIDs":["56e0eb0a15daff934a000488"],"dataSources":["9QunAESDCgrqeMivg"]}