Media type: E-Article Title: STACS 2005: Deciding Properties of Contract-Signing Protocols Contributor: Kähler, Detlef; Küsters, Ralf; Wilke, Thomas imprint: Springer Berlin Heidelberg, 2005 Published in: STACS 2005 Language: Not determined DOI: 10.1007/978-3-540-31856-9_13 ISSN: 0302-9743; 1611-3349 Origination: Footnote: