مؤتمر
Approximate Verification of the Symbolic Dynamics of Markov Chains
العنوان: | Approximate Verification of the Symbolic Dynamics of Markov Chains |
---|---|
المؤلفون: | Agrawal, Manindra, Akshay, S., Genest, Blaise, Thiagarajan, P.S. |
المصدر: | 2012 27th Annual IEEE Symposium on Logic in Computer Science Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on. :55-64 Jun, 2012 |
Relation: | 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9781467322638 9780769547695 |
---|---|
تدمد: | 10436871 |
DOI: | 10.1109/LICS.2012.17 |