A Comparative Study of Methods for Efficient Reachability Analysis

Reference:

Marko Rauhamaa. A Comparative Study of Methods for Efficient Reachability Analysis. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1990.

Suggested BibTeX entry:

@phdthesis{RauhamaaLic,
    author = {Rauhamaa, Marko},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory},
    title = {A Comparative Study of Methods for Efficient Reachability Analysis},
    type = {Licentiate's thesis},
    year = {1990},
}