Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic1

✍ Scribed by Magdalena Kacprzak; Wojciech Penczek

• Publisher: Springer US
• Year: 2005
• Tongue: English
• Weight: 395 KB
• Volume: 11
• Category: Article
• ISSN: 1387-2532
• DOI: 10.1007/s10458-005-0944-9