Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/jcs/HalpernM01
%A Halpern, Joseph Y.
%A van der Meyden, Ron
%D 2001
%J J. Comput. Secur.
%K dblp
%N 1/2
%P 105-142
%T A Logic for SDSI's Linked Local Name Spaces.
%U http://dblp.uni-trier.de/db/journals/jcs/jcs9.html#HalpernM01
%V 9
@article{journals/jcs/HalpernM01,
added-at = {2023-08-28T00:00:00.000+0200},
author = {Halpern, Joseph Y. and van der Meyden, Ron},
biburl = {https://www.bibsonomy.org/bibtex/25015df024dad1a97e3e497738a737793/dblp},
ee = {https://www.wikidata.org/entity/Q114944288},
interhash = {7e79497160db077fb6a39107084b1a66},
intrahash = {5015df024dad1a97e3e497738a737793},
journal = {J. Comput. Secur.},
keywords = {dblp},
number = {1/2},
pages = {105-142},
timestamp = {2024-04-09T05:17:24.000+0200},
title = {A Logic for SDSI's Linked Local Name Spaces.},
url = {http://dblp.uni-trier.de/db/journals/jcs/jcs9.html#HalpernM01},
volume = 9,
year = 2001
}