@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},
}