@article{Huttel02,
  title = {Modal Logics for Cryptographic Processes},
  author = {Hans Hüttel},
  year = {2002},
  url = {http://www.elsevier.com/gej-ng/31/29/23/121/51/show/Products/notes/index.htt#002},
  tags = {modal logic, logic},
  researchr = {https://researchr.org/publication/Huttel02},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {68},
  number = {6},
  pages = {1-18},
}