![](/img/cover-not-exists.png)
[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - Approximate Verification of the Symbolic Dynamics of Markov Chains
Agrawal, Manindra, Akshay, S., Genest, Blaise, Thiagarajan, P.S.Year:
2012
Language:
english
DOI:
10.1109/LICS.2012.17
File:
PDF, 312 KB
english, 2012