@inproceedings{beillahi2015formal,
  title={Formal analysis of power electronic systems},
  author={Beillahi, Sidi Mohamed and Siddique, Umair and Tahar, Sofi{\`e}ne},
  booktitle={International Conference on Formal Engineering Methods},
  pages={270--286},
  year={2015},
  organization={Springer, Cham}
}

{"_id":"yRuAmJyjjuoPdiRYH","bibbaseid":"beillahi-siddique-tahar-formalanalysisofpowerelectronicsystems-2015","authorIDs":["2WciMHcRvtktoDA3W","z6GQNNp26M9hrr7dp"],"author_short":["Beillahi, S. M.","Siddique, U.","Tahar, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal analysis of power electronic systems","author":[{"propositions":[],"lastnames":["Beillahi"],"firstnames":["Sidi","Mohamed"],"suffixes":[]},{"propositions":[],"lastnames":["Siddique"],"firstnames":["Umair"],"suffixes":[]},{"propositions":[],"lastnames":["Tahar"],"firstnames":["Sofiène"],"suffixes":[]}],"booktitle":"International Conference on Formal Engineering Methods","pages":"270–286","year":"2015","organization":"Springer, Cham","bibtex":"@inproceedings{beillahi2015formal,\n title={Formal analysis of power electronic systems},\n author={Beillahi, Sidi Mohamed and Siddique, Umair and Tahar, Sofi{\\`e}ne},\n booktitle={International Conference on Formal Engineering Methods},\n pages={270--286},\n year={2015},\n organization={Springer, Cham}\n}\n\n","author_short":["Beillahi, S. M.","Siddique, U.","Tahar, S."],"key":"beillahi2015formal","id":"beillahi2015formal","bibbaseid":"beillahi-siddique-tahar-formalanalysisofpowerelectronicsystems-2015","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/iamumairs/personal-website/master/mypub.bib","creationDate":"2020-04-20T05:37:50.286Z","downloads":0,"keywords":[],"search_terms":["formal","analysis","power","electronic","systems","beillahi","siddique","tahar"],"title":"Formal analysis of power electronic systems","year":2015,"dataSources":["uJ4pwb9QCmSwZvTf3"]}