@article{BEL05,
title = {A symbolic decision procedure for cryptographic protocols with time stamps },
author = {Bozga, Liana and Ene, Cristian and Lakhnech, Yassine},
month = {sep},
year = {2005},
journal = {J. Log. Algebr. Program.},
number = {1},
pages = {1-35},
volume = {65},
team = {DCS,PACSS},
}
