When not losing is better than winning: Abstraction and refinement for the full μ-calculus

✍ Scribed by Orna Grumberg; Martin Lange; Martin Leucker; Sharon Shoham

• Book ID: 113641668
• Publisher: Elsevier Science
• Year: 2007
• Tongue: English
• Weight: 376 KB
• Volume: 205
• Category: Article
• ISSN: 0890-5401
• DOI: 10.1016/j.ic.2006.10.009