%0 Journal Article %1 journals/tplp/BellaB04 %A Bella, Giampaolo %A Bistarelli, Stefano %D 2004 %J Theory Pract. Log. Program. %K dblp %N 5-6 %P 545-572 %T Soft Constraint Programming to Analysing Security Protocols. %U http://dblp.uni-trier.de/db/journals/tplp/tplp4.html#BellaB04 %V 4

@article{journals/tplp/BellaB04, added-at = {2020-02-13T00:00:00.000+0100}, author = {Bella, Giampaolo and Bistarelli, Stefano}, biburl = {https://www.bibsonomy.org/bibtex/29c2bf0bc625de996cb9d4163b54b46bc/dblp}, ee = {https://doi.org/10.1017/S1471068404002121}, interhash = {3ec578aa384bf829a0e7f4150acd0f0b}, intrahash = {9c2bf0bc625de996cb9d4163b54b46bc}, journal = {Theory Pract. Log. Program.}, keywords = {dblp}, number = {5-6}, pages = {545-572}, timestamp = {2020-02-14T11:43:32.000+0100}, title = {Soft Constraint Programming to Analysing Security Protocols.}, url = {http://dblp.uni-trier.de/db/journals/tplp/tplp4.html#BellaB04}, volume = 4, year = 2004 }