Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/iccsa/SierraHAT04
%A Sierra, José María
%A Castro, Julio César Hernández
%A Alcaide, Almudena
%A Márquez, Joaquín Torres
%B ICCSA (1)
%D 2004
%E Laganà, Antonio
%E Gavrilova, Marina L.
%E Kumar, Vipin
%E Mun, Youngsong
%E Tan, Chih Jeng Kenneth
%E Gervasi, Osvaldo
%I Springer
%K dblp
%P 851-858
%T Validating the Use of BAN LOGIC.
%U http://dblp.uni-trier.de/db/conf/iccsa/iccsa2004-1.html#SierraHAT04
%V 3043
%@ 3-540-22054-2
@inproceedings{conf/iccsa/SierraHAT04,
added-at = {2020-10-25T00:00:00.000+0200},
author = {Sierra, José María and Castro, Julio César Hernández and Alcaide, Almudena and Márquez, Joaquín Torres},
biburl = {https://www.bibsonomy.org/bibtex/22e196b8d7b02290b481b1ecda3b1648e/dblp},
booktitle = {ICCSA (1)},
crossref = {conf/iccsa/2004-1},
editor = {Laganà, Antonio and Gavrilova, Marina L. and Kumar, Vipin and Mun, Youngsong and Tan, Chih Jeng Kenneth and Gervasi, Osvaldo},
ee = {https://doi.org/10.1007/978-3-540-24707-4_98},
interhash = {631bd72fa1f48f49410b4e2d31dc05c8},
intrahash = {2e196b8d7b02290b481b1ecda3b1648e},
isbn = {3-540-22054-2},
keywords = {dblp},
pages = {851-858},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T22:40:39.000+0200},
title = {Validating the Use of BAN LOGIC.},
url = {http://dblp.uni-trier.de/db/conf/iccsa/iccsa2004-1.html#SierraHAT04},
volume = 3043,
year = 2004
}