مؤتمر
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 |
Full Text Finder | ردمك: | 9781467322638 9780769547695 |
|---|---|
| تدمد: | 10436871 |
| DOI: | 10.1109/LICS.2012.17 |