Thesis
Master's thesis | @MastersThesis{Veit1999, ... | Masterarbeit
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},
}
Entry last modified by Christoph Weidenbach, 03/12/2010