José María Sierra, Julio César Hernández Castro, Almudena Alcaide, Joaquín Torres Márquez. Validating the Use of BAN LOGIC. In Antonio Laganà, Marina L. Gavrilova, Vipin Kumar, Youngsong Mun, Chih Jeng Kenneth Tan, Osvaldo Gervasi, editors, Computational Science and Its Applications - ICCSA 2004, International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part I. Volume 3043 of Lecture Notes in Computer Science, pages 851-858, Springer, 2004. [doi]
@inproceedings{SierraHAT04,
title = {Validating the Use of BAN LOGIC},
author = {José María Sierra and Julio César Hernández Castro and Almudena Alcaide and Joaquín Torres Márquez},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3043&spage=851},
tags = {logic},
researchr = {https://researchr.org/publication/SierraHAT04},
cites = {0},
citedby = {0},
pages = {851-858},
booktitle = {Computational Science and Its Applications - ICCSA 2004, International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part I},
editor = {Antonio Laganà and Marina L. Gavrilova and Vipin Kumar and Youngsong Mun and Chih Jeng Kenneth Tan and Osvaldo Gervasi},
volume = {3043},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-22054-2},
}