%0 Journal Article %1 journals/jancl/ArmandoCC09 %A Armando, Alessandro %A Carbone, Roberto %A Compagna, Luca %D 2009 %J J. Appl. Non Class. Logics %K dblp %N 4 %P 403-429 %T LTL model checking for security protocols. %U http://dblp.uni-trier.de/db/journals/jancl/jancl19.html#ArmandoCC09 %V 19

@article{journals/jancl/ArmandoCC09, added-at = {2020-04-25T00:00:00.000+0200}, author = {Armando, Alessandro and Carbone, Roberto and Compagna, Luca}, biburl = {https://www.bibsonomy.org/bibtex/216a85bb4ae53a9b6cce0bd3ca2d7ff55/dblp}, ee = {https://doi.org/10.3166/jancl.19.403-429}, interhash = {bf178b7ea953327d12883adc0fb6d8eb}, intrahash = {16a85bb4ae53a9b6cce0bd3ca2d7ff55}, journal = {J. Appl. Non Class. Logics}, keywords = {dblp}, number = 4, pages = {403-429}, timestamp = {2020-04-28T12:07:42.000+0200}, title = {LTL model checking for security protocols.}, url = {http://dblp.uni-trier.de/db/journals/jancl/jancl19.html#ArmandoCC09}, volume = 19, year = 2009 }