Publications
Thesis (Server halma.mpi-inf.mpg.de)
Thesis
Master's thesis | @MastersThesis{Veit1999, ... | Masterarbeit
Veit, Jörg
Formal Fairness Proofs for Optimistic Contract Signing Protocols
Universität des Saarlandes, October, 1999
Birgit Pfitzmann
Harald Ganzinger
Matthias Schunter, Christoph Weidenbach
Completed
15
May
2024
Max-Planck-Institut für Informatik
Programming Logics Group
experts only
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat
BibTeX Entry:
@MASTERSTHESIS{Veit1999,
AUTHOR = {Veit, J{\"o}rg},
TITLE = {Formal Fairness Proofs for Optimistic Contract Signing Protocols},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1999},
TYPE = {Master's thesis}
MONTH = {October},
}
AUTHOR = {Veit, J{\"o}rg},
TITLE = {Formal Fairness Proofs for Optimistic Contract Signing Protocols},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1999},
TYPE = {Master's thesis}
MONTH = {October},
}
Entry last modified by Christoph Weidenbach, 03/12/2010
Edit History (please click the blue arrow to see the details) | Editor(s) Christoph Weidenbach | Created 03/26/2000 09:16:29 PM |
| Revision 0. | Editor Christoph Weidenbach | Edit Date 26/03/2000 21:16:30 |