@inproceedings{DBLP:conf/itp/SiddiqueMT14,
  author    = {Umair Siddique and
               Mohamed Yousri Mahmoud and
               Sofi{\`{e}}ne Tahar},
  editor    = {Gerwin Klein and
               Ruben Gamboa},
  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}
}

{"_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"]}