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},
}