Article citationsMore>>
Armando, A., Pellegrino, G., Carbone, R., Merlo, A. and Balzarotti, D. (2012) From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap. In: Brucker, A.D. and Julliand, J., Eds., Tests and Proofs, Springer, Berlin, 3-18.
http://dx.doi.org/10.1007/978-3-642-30473-6_3
has been cited by the following article:
Related Articles:
-
Babak Amini
-
Assétou Soukho Kaya, Abdel Kader Traoré, Djibril Sy, Djenebou Traoré, Ilo Diall, Youssouf Fofana, Ibahima Amadou Dembélé, Boua Daoud Camara, Mamadou Saliou, Karim Dao, Mamadou Cissoko, Kaly Kéïta, Barry Boubacar Sangaré, Mamadou Mallé, Alassane A. Doumbia, Hadiza A. Kaïlou, Mamadou Dembélé, Hamar Alassane Traoré
-
Flavio Gimenes Alvarenga, Mahouton Jonas Stephane Houndjo, Adjimon Vincent Monwanou, Jean Bio Chabi Orou
-
Isaac Quaye, Eugene Abrokwah, Alfred Sarbah, Joseph Yaw Osei
-
Benito De Ruschi, Wenjun Ma, Yuxi Li