Efficient on-the-fly model-checking for regular alternation-free mu-calculus

✍ Scribed by Radu Mateescu; Mihaela Sighireanu

• Book ID: 108410788
• Publisher: Elsevier Science
• Year: 2003
• Tongue: English
• Weight: 440 KB
• Volume: 46
• Category: Article
• ISSN: 0167-6423
• DOI: 10.1016/s0167-6423(02)00094-1