%0 Conference Paper %1 journals/corr/GhabriMR13 %A Ghabri, Hatem %A Maatoug, Ghazi %A Rusinowitch, Michaël %B SCSS %D 2012 %E Bouhoula, Adel %E Ida, Tetsuo %E Kamareddine, Fairouz %K dblp %P 39-49 %T Compiling symbolic attacks to protocol implementation tests. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs122.html#GhabriMR13 %V 122

@inproceedings{journals/corr/GhabriMR13, added-at = {2018-09-12T00:00:00.000+0200}, author = {Ghabri, Hatem and Maatoug, Ghazi and Rusinowitch, Michaël}, biburl = {https://www.bibsonomy.org/bibtex/27e8da8ccd052a92f18455d7633e1e07a/dblp}, booktitle = {SCSS}, crossref = {journals/corr/BouhoulaIK13}, editor = {Bouhoula, Adel and Ida, Tetsuo and Kamareddine, Fairouz}, ee = {http://arxiv.org/abs/1307.8210}, interhash = {c856729db36723e950cc839243dbec0d}, intrahash = {7e8da8ccd052a92f18455d7633e1e07a}, keywords = {dblp}, pages = {39-49}, series = {EPTCS}, timestamp = {2018-09-13T11:41:41.000+0200}, title = {Compiling symbolic attacks to protocol implementation tests.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs122.html#GhabriMR13}, volume = 122, year = 2012 }