Combining abstractions and reachability analysis: a case study of RLC protocol

Reference:

Teemu Tynjälä. Combining abstractions and reachability analysis: a case study of RLC protocol. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003.

Suggested BibTeX entry:

@phdthesis{TynjalaLic,
    author = {Tynj{\"a}l{\"a}, Teemu},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science},
    title = {Combining abstractions and reachability analysis: a case study of {RLC} protocol},
    type = {Licentiate's thesis},
    year = {2003},
}