{"_id":"igMsBkGwY8qhahLK2","bibbaseid":"beillahi-siddique-tahar-formalanalysisofengineeringsystemsbasedonsignalflowgraphtheory-2017","authorIDs":["2WciMHcRvtktoDA3W","z6GQNNp26M9hrr7dp"],"author_short":["Beillahi, S. M.","Siddique, U.","Tahar, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory","author":[{"propositions":[],"lastnames":["Beillahi"],"firstnames":["S.","M."],"suffixes":[]},{"propositions":[],"lastnames":["Siddique"],"firstnames":["U."],"suffixes":[]},{"propositions":[],"lastnames":["Tahar"],"firstnames":["S."],"suffixes":[]}],"booktitle":"Numerical Software Verification (NSV-2016)","pages":"1–15","year":"2017","organization":"Springer","bibtex":"@inproceedings{beillahi2017formal,\n title={Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory},\n author={Beillahi, S. M. and Siddique, U. and Tahar, S.},\n booktitle={Numerical Software Verification (NSV-2016)},\n pages={1--15},\n year={2017},\n organization={Springer}\n}\n\n","author_short":["Beillahi, S. M.","Siddique, U.","Tahar, S."],"key":"beillahi2017formal","id":"beillahi2017formal","bibbaseid":"beillahi-siddique-tahar-formalanalysisofengineeringsystemsbasedonsignalflowgraphtheory-2017","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/iamumairs/personal-website/master/mypub.bib","creationDate":"2020-04-20T05:48:19.913Z","downloads":0,"keywords":[],"search_terms":["formal","analysis","engineering","systems","based","signal","flow","graph","theory","beillahi","siddique","tahar"],"title":"Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory","year":2017,"dataSources":["uJ4pwb9QCmSwZvTf3"]}