{"_id":"5yq6KRHrDAWpvcime","bibbaseid":"ahmad-hasan-siddique-tahar-formalizationofzsyntaxtoreasonaboutmolecularpathwaysinhol4-2014","downloads":0,"creationDate":"2016-03-10T03:33:30.780Z","title":"Formalization of Zsyntax to Reason About Molecular Pathways in HOL4","author_short":["Ahmad, S.","Hasan, O.","Siddique, U.","Tahar, S."],"year":2014,"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/iamumairs/personal-website/master/mypub.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formalization of Zsyntax to Reason About Molecular Pathways in HOL4","author":[{"propositions":[],"lastnames":["Ahmad"],"firstnames":["Sohaib"],"suffixes":[]},{"propositions":[],"lastnames":["Hasan"],"firstnames":["Osman"],"suffixes":[]},{"propositions":[],"lastnames":["Siddique"],"firstnames":["Umair"],"suffixes":[]},{"propositions":[],"lastnames":["Tahar"],"firstnames":["Sofiéne"],"suffixes":[]}],"booktitle":"Brazilian Symposium on Formal Methods","pages":"32–47","year":"2014","organization":"Springer, Cham","bibtex":"@inproceedings{ahmad2014formalization,\n title={Formalization of Zsyntax to Reason About Molecular Pathways in HOL4},\n author={Ahmad, Sohaib and Hasan, Osman and Siddique, Umair and Tahar, Sofi{\\'e}ne},\n booktitle={Brazilian Symposium on Formal Methods},\n pages={32--47},\n year={2014},\n organization={Springer, Cham}\n}\n\n","author_short":["Ahmad, S.","Hasan, O.","Siddique, U.","Tahar, S."],"key":"ahmad2014formalization","id":"ahmad2014formalization","bibbaseid":"ahmad-hasan-siddique-tahar-formalizationofzsyntaxtoreasonaboutmolecularpathwaysinhol4-2014","role":"author","urls":{},"downloads":0},"search_terms":["formalization","zsyntax","reason","molecular","pathways","hol4","ahmad","hasan","siddique","tahar"],"keywords":[],"authorIDs":[],"dataSources":["uJ4pwb9QCmSwZvTf3"]}