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]
Abstract is missing.