@article{d6565bd5b6444e7e9ea17cc87e78f673,
title = "On Stubborn Sets in the Verification of Linear Time Temporal Properties",
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 = "Kimmo Varpaaniemi",
year = "2005",
language = "English",
volume = "26",
pages = "45--67",
journal = "FORMAL METHODS IN SYSTEM DESIGN",
issn = "0925-9856",
publisher = "Springer Netherlands",
number = "1",
}