Union, Intersection, and Refinement Types and Reasoning About Type Disjointness for Security Protocol Analysis. Hriţcu, C. Ph.D. Thesis, Saarland University, January, 2012. Paper bibtex @PhdThesis{Hritcu:12,
author = {C\u{a}t\u{a}lin Hri\c{t}cu},
title = {Union, Intersection, and Refinement Types and Reasoning About Type Disjointness for Security Protocol Analysis},
school = {Saarland University},
year = {2012},
month = jan,
url = {http://scidok.sulb.uni-saarland.de/volltexte/2012/4800/pdf/catalin_phd_2012_03_24_final.pdf},
key = {Theses},
}
Downloads: 0
{"_id":"nnJzx8bC23JFkSzzd","bibbaseid":"hricu-unionintersectionandrefinementtypesandreasoningabouttypedisjointnessforsecurityprotocolanalysis-2012","downloads":0,"creationDate":"2019-02-09T20:08:59.733Z","title":"Union, Intersection, and Refinement Types and Reasoning About Type Disjointness for Security Protocol Analysis","author_short":["Hriţcu, C."],"year":2012,"bibtype":"phdthesis","biburl":"http://prosecco.gforge.inria.fr/personal/hritcu/publications/catalin.bib","bibdata":{"bibtype":"phdthesis","type":"phdthesis","author":[{"firstnames":["Cătălin"],"propositions":[],"lastnames":["Hriţcu"],"suffixes":[]}],"title":"Union, Intersection, and Refinement Types and Reasoning About Type Disjointness for Security Protocol Analysis","school":"Saarland University","year":"2012","month":"January","url":"http://scidok.sulb.uni-saarland.de/volltexte/2012/4800/pdf/catalin_phd_2012_03_24_final.pdf","key":"Hritcu:12","bibtex":"@PhdThesis{Hritcu:12,\n author = {C\\u{a}t\\u{a}lin Hri\\c{t}cu},\n title = {Union, Intersection, and Refinement Types and Reasoning About Type Disjointness for Security Protocol Analysis},\n school = {Saarland University},\n year = {2012},\n month = jan,\n url = {http://scidok.sulb.uni-saarland.de/volltexte/2012/4800/pdf/catalin_phd_2012_03_24_final.pdf},\n key = {Theses},\n}\n\n","author_short":["Hriţcu, C."],"id":"Hritcu:12","bibbaseid":"hricu-unionintersectionandrefinementtypesandreasoningabouttypedisjointnessforsecurityprotocolanalysis-2012","role":"author","urls":{"Paper":"http://scidok.sulb.uni-saarland.de/volltexte/2012/4800/pdf/catalin_phd_2012_03_24_final.pdf"},"downloads":0,"html":""},"search_terms":["union","intersection","refinement","types","reasoning","type","disjointness","security","protocol","analysis","hriţcu"],"keywords":[],"authorIDs":["5c5f335b4510a11000000192"],"dataSources":["hAMnRsgiC28iyFDSa"]}