{"_id":"iy29Y3aZMvXy4c2sk","bibbaseid":"rashid-hasan-siddique-tahar-formalreasoningaboutsystemsbiologyusingtheoremproving-2017","authorIDs":["2WciMHcRvtktoDA3W","z6GQNNp26M9hrr7dp"],"author_short":["Rashid, A.","Hasan, O.","Siddique, U.","Tahar, S."],"bibdata":{"bibtype":"article","type":"article","title":"Formal reasoning about systems biology using theorem proving","author":[{"propositions":[],"lastnames":["Rashid"],"firstnames":["Adnan"],"suffixes":[]},{"propositions":[],"lastnames":["Hasan"],"firstnames":["Osman"],"suffixes":[]},{"propositions":[],"lastnames":["Siddique"],"firstnames":["Umair"],"suffixes":[]},{"propositions":[],"lastnames":["Tahar"],"firstnames":["Sofiene"],"suffixes":[]}],"journal":"PloS one","volume":"12","number":"7","pages":"e0180179","year":"2017","publisher":"Public Library of Science San Francisco, CA USA","bibtex":"@article{rashid2017formal,\n title={Formal reasoning about systems biology using theorem proving},\n author={Rashid, Adnan and Hasan, Osman and Siddique, Umair and Tahar, Sofiene},\n journal={PloS one},\n volume={12},\n number={7},\n pages={e0180179},\n year={2017},\n publisher={Public Library of Science San Francisco, CA USA}\n}\n\n","author_short":["Rashid, A.","Hasan, O.","Siddique, U.","Tahar, S."],"key":"rashid2017formal","id":"rashid2017formal","bibbaseid":"rashid-hasan-siddique-tahar-formalreasoningaboutsystemsbiologyusingtheoremproving-2017","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://raw.githubusercontent.com/iamumairs/personal-website/master/mypub.bib","creationDate":"2020-04-20T05:48:19.914Z","downloads":0,"keywords":[],"search_terms":["formal","reasoning","systems","biology","using","theorem","proving","rashid","hasan","siddique","tahar"],"title":"Formal reasoning about systems biology using theorem proving","year":2017,"dataSources":["uJ4pwb9QCmSwZvTf3"]}