@phdthesis{
    HUT-TCS-A51,
    author = "Varpaaniemi, Kimmo",
    institution = "Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory",
    title = "On the Stubborn Set Method in Reduced State Space Generation",
    year = "1998",
    number = "A51",
    month = "May",
    note = "Doctoral dissertation",
    address = "Espoo, Finland",
    owner = "MM",
    type = "Research Report",
    pages = "105"
}