%0 Conference Proceedings
%F AAGT12
%A Agrawal, M.
%A Akshay, S.
%A Genest, B.
%A S. Thiagarajan, P.
%T Approximate Verification of the Symbolic Dynamics of Markov Chains
%B Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012
%P 55-64
%I IEEE
%D 2012