[IEEE 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) - Chicago, IL, USA (2005.06.29-2005.06.29)] 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) - Verifying infinite Markov chains with a finite attractor or the global coarseness property

✍ Scribed by Abdulla, P.A.; Henda, N.B.; Mayr, R.

• Book ID: 126685051
• Publisher: IEEE
• Year: 2005
• Weight: 302 KB
• Category: Article
• ISBN-13: 9780769522661
• DOI: 10.1109/LICS.2005.54