%0 Conference Paper %1 conf/birthday/EscobarM19 %A Escobar, Santiago %A Meseguer, José %B Foundations of Security, Protocols, and Equational Reasoning %D 2019 %E Guttman, Joshua D. %E Landwehr, Carl E. %E Meseguer, José %E Pavlovic, Dusko %I Springer %K dblp %P 15-38 %T Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method. %U http://dblp.uni-trier.de/db/conf/birthday/meadows2019.html#EscobarM19 %V 11565 %@ 978-3-030-19052-1

@inproceedings{conf/birthday/EscobarM19, added-at = {2023-09-20T00:00:00.000+0200}, author = {Escobar, Santiago and Meseguer, José}, biburl = {https://www.bibsonomy.org/bibtex/28ef83d38fdeae184fe15c09f581d6dfb/dblp}, booktitle = {Foundations of Security, Protocols, and Equational Reasoning}, crossref = {conf/birthday/2019meadows}, editor = {Guttman, Joshua D. and Landwehr, Carl E. and Meseguer, José and Pavlovic, Dusko}, ee = {https://doi.org/10.1007/978-3-030-19052-1_4}, interhash = {2915fb6fbe930084c85e2afe5be1a4e5}, intrahash = {8ef83d38fdeae184fe15c09f581d6dfb}, isbn = {978-3-030-19052-1}, keywords = {dblp}, pages = {15-38}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:05:23.000+0200}, title = {Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method.}, url = {http://dblp.uni-trier.de/db/conf/birthday/meadows2019.html#EscobarM19}, volume = 11565, year = 2019 }