Reachability-based verification of DSSI protocol

Reference:

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

Suggested BibTeX entry:

@mastersthesis{TynjalaMsc,
    author = {Tynj\"al\"a, Teemu},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory},
    title = {Reachability-based verification of {D}{S}{S}{I} protocol},
    year = {1998},
}