%0 Conference Paper %1 conf/fmcad/ZhangAJP20 %A Zhang, Zichao %A de Amorim, Arthur Azevedo %A Jia, Limin %A Pasareanu, Corina S. %B FMCAD %D 2020 %I IEEE %K dblp %P 113-118 %T Automating Compositional Analysis of Authentication Protocols. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2020.html#ZhangAJP20 %@ 978-3-85448-042-6

@inproceedings{conf/fmcad/ZhangAJP20, added-at = {2023-06-26T00:00:00.000+0200}, author = {Zhang, Zichao and de Amorim, Arthur Azevedo and Jia, Limin and Pasareanu, Corina S.}, biburl = {https://www.bibsonomy.org/bibtex/28c634cee6817be62508af416e90f50df/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2020}, ee = {https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_18}, interhash = {e269fc514f70a74d1ee0c00cc9c71ea5}, intrahash = {8c634cee6817be62508af416e90f50df}, isbn = {978-3-85448-042-6}, keywords = {dblp}, pages = {113-118}, publisher = {IEEE}, timestamp = {2024-04-09T23:58:38.000+0200}, title = {Automating Compositional Analysis of Authentication Protocols.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2020.html#ZhangAJP20}, year = 2020 }