User Tools

Site Tools


Regular Protocols and Attacks with Regular Knowledge (BibTeX)

@inproceedings{Truderung-CADE-2005,
  author    = {Tomasz Truderung},
  title     = {Regular Protocols and Attacks with Regular Knowledge},
  editor    = {Robert Nieuwenhuis},
  booktitle = {Automated Deduction - CADE-20, 20th International Conference
               on Automated Deduction},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3632},
  year      = {2005},
  pages     = {377-391},
}