{"_id":"2czCbtGdcNbr3DWDd","bibbaseid":"ahmad-hasan-siddique-towardsformalreasoningaboutmolecularpathwaysinhol-2014","downloads":0,"creationDate":"2016-03-10T03:33:30.782Z","title":"Towards Formal Reasoning about Molecular Pathways in HOL","author_short":["Ahmad, S.","Hasan, O.","Siddique, U."],"year":2014,"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/iamumairs/personal-website/master/mypub.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Towards Formal Reasoning about Molecular Pathways in HOL","author":[{"propositions":[],"lastnames":["Ahmad"],"firstnames":["Sohaib"],"suffixes":[]},{"propositions":[],"lastnames":["Hasan"],"firstnames":["Osman"],"suffixes":[]},{"propositions":[],"lastnames":["Siddique"],"firstnames":["Umair"],"suffixes":[]}],"booktitle":"IEEE 23rd International WETICE Conference","pages":"378–383","year":"2014","organization":"IEEE","bibtex":"@inproceedings{ahmad2014towards,\n title={Towards Formal Reasoning about Molecular Pathways in HOL},\n author={Ahmad, Sohaib and Hasan, Osman and Siddique, Umair},\n booktitle={IEEE 23rd International WETICE Conference},\n pages={378--383},\n year={2014},\n organization={IEEE}\n}\n\n","author_short":["Ahmad, S.","Hasan, O.","Siddique, U."],"key":"ahmad2014towards","id":"ahmad2014towards","bibbaseid":"ahmad-hasan-siddique-towardsformalreasoningaboutmolecularpathwaysinhol-2014","role":"author","urls":{},"downloads":0},"search_terms":["towards","formal","reasoning","molecular","pathways","hol","ahmad","hasan","siddique"],"keywords":[],"authorIDs":[],"dataSources":["uJ4pwb9QCmSwZvTf3"]}