@techreport{6302daad791143f8b8fe7d32f82518e2,
title = "On the Stubborn Set Method in Reduced State Space Generation",
keywords = "reachability analysis, reduced state space generation, stubborn sets, verification of LTL formulas, reachability analysis, reduced state space generation, stubborn sets, verification of LTL formulas, reachability analysis, reduced state space generation, stubborn sets, verification of LTL formulas",
author = "K. Varpaaniemi",
year = "1998",
language = "English",
series = "Series A: Research Reports",
publisher = "Helsinki University of Technology, Digital Systems Laboratory",
number = "A51",
pages = "105",
type = "WorkingPaper",
institution = "Helsinki University of Technology, Digital Systems Laboratory",
}