Reachability-based verification of DSS1 Protocol

Reference:

Teemu Tynjälä. Reachability-based verification of dss1 protocol. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, December 1998.

Suggested BibTeX entry:

@mastersthesis{Tynjala98,
    author = {Teemu Tynj{\"a}l{\"a}},
    month = {December},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering},
    title = {Reachability-based verification of DSS1 Protocol},
    year = {1998},
}