%0 Conference Paper %1 conf/sat/ArmandoC03 %A Armando, Alessandro %A Compagna, Luca %B SAT %D 2003 %E Giunchiglia, Enrico %E Tacchella, Armando %I Springer %K dblp %P 257-271 %T Abstraction-Driven SAT-based Analysis of Security Protocols. %U http://dblp.uni-trier.de/db/conf/sat/sat2003.html#ArmandoC03 %V 2919 %@ 3-540-20851-8

@inproceedings{conf/sat/ArmandoC03, added-at = {2017-05-23T00:00:00.000+0200}, author = {Armando, Alessandro and Compagna, Luca}, biburl = {https://www.bibsonomy.org/bibtex/2e20a736150056a1c8ae5a827f31f53de/dblp}, booktitle = {SAT}, crossref = {conf/sat/2003}, editor = {Giunchiglia, Enrico and Tacchella, Armando}, ee = {https://doi.org/10.1007/978-3-540-24605-3_20}, interhash = {e393617a1d065dd8dfa4cda5223049a1}, intrahash = {e20a736150056a1c8ae5a827f31f53de}, isbn = {3-540-20851-8}, keywords = {dblp}, pages = {257-271}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:10:52.000+0200}, title = {Abstraction-Driven SAT-based Analysis of Security Protocols.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2003.html#ArmandoC03}, volume = 2919, year = 2003 }