@inproceedings{KaehlerKuestersWilke-STACS-2005,
  author = {D.~K{\"a}hler and R.~K{\"u}sters and Th.~Wilke},
  title = {{Deciding Properties of Contract-Signing Protocols}},
  booktitle = {Proceedings of the 22nd Symposium on Theoretical Aspects of Computer Science (STACS 2005)},
  editor = {V.~Diekert and B.~Durand},
  number = 3404,
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  year = 2005,
  pages = {158--169},
}