{"_id":"sjwnNh5FJFudwGpDK","bibbaseid":"siddique-mahmoud-tahar-ontheformalizationofztransforminhol-2014","authorIDs":["2WciMHcRvtktoDA3W"],"author_short":["Siddique, U.","Mahmoud, M. Y.","Tahar, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Umair"],"propositions":[],"lastnames":["Siddique"],"suffixes":[]},{"firstnames":["Mohamed","Yousri"],"propositions":[],"lastnames":["Mahmoud"],"suffixes":[]},{"firstnames":["Sofiène"],"propositions":[],"lastnames":["Tahar"],"suffixes":[]}],"editor":[{"firstnames":["Gerwin"],"propositions":[],"lastnames":["Klein"],"suffixes":[]},{"firstnames":["Ruben"],"propositions":[],"lastnames":["Gamboa"],"suffixes":[]}],"title":"On the Formalization of Z-Transform in HOL","booktitle":"Interactive Theorem Proving - 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings","series":"Lecture Notes in Computer Science","volume":"8558","pages":"483–498","publisher":"Springer","year":"2014","url":"https://doi.org/10.1007/978-3-319-08970-6_31","doi":"10.1007/978-3-319-08970-6_31","timestamp":"Tue, 14 May 2019 10:00:37 +0200","biburl":"https://dblp.org/rec/conf/itp/SiddiqueMT14.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/itp/SiddiqueMT14,\n author = {Umair Siddique and\n Mohamed Yousri Mahmoud and\n Sofi{\\`{e}}ne Tahar},\n editor = {Gerwin Klein and\n Ruben Gamboa},\n title = {On the Formalization of Z-Transform in {HOL}},\n booktitle = {Interactive Theorem Proving - 5th International Conference, {ITP}\n 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,\n Austria, July 14-17, 2014. Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {8558},\n pages = {483--498},\n publisher = {Springer},\n year = {2014},\n url = {https://doi.org/10.1007/978-3-319-08970-6\\_31},\n doi = {10.1007/978-3-319-08970-6\\_31},\n timestamp = {Tue, 14 May 2019 10:00:37 +0200},\n biburl = {https://dblp.org/rec/conf/itp/SiddiqueMT14.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Siddique, U.","Mahmoud, M. Y.","Tahar, S."],"editor_short":["Klein, G.","Gamboa, R."],"key":"DBLP:conf/itp/SiddiqueMT14","id":"DBLP:conf/itp/SiddiqueMT14","bibbaseid":"siddique-mahmoud-tahar-ontheformalizationofztransforminhol-2014","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-08970-6_31"},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/52/10785.bib","creationDate":"2020-04-20T05:37:50.350Z","downloads":0,"keywords":[],"search_terms":["formalization","transform","hol","siddique","mahmoud","tahar"],"title":"On the Formalization of Z-Transform in HOL","year":2014,"dataSources":["fQbALFRGpmYE3aLBG"]}