Kimmo Varpaaniemi. On Stubborn Sets in the Verification of Linear Time Temporal Properties. Formal Methods in System Design, 26(1):45-67, 2005. [doi]
@article{Varpaaniemi05,
title = {On Stubborn Sets in the Verification of Linear Time Temporal Properties},
author = {Kimmo Varpaaniemi},
year = {2005},
url = {http://www.springerlink.com/index/10.1007/s10703-005-4594-y},
researchr = {https://researchr.org/publication/Varpaaniemi05},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {26},
number = {1},
pages = {45-67},
}