@ARTICLE {9950, author={P. Mateus and M. Biscaia and D. Henriques}, doi={10.1145/2666772}, journal={ACM Transactions on Computational Logic}, title={Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains}, year={2014}, month={December}, volume={16}, number={1}, pages={4-4}, ISSN={1529-3785} }Create and download bib file