An Until Hierarchy and Other Applications of an Ehrenfeucht–Fraı̈ssé Game for Temporal Logic

✍ Scribed by Kousha Etessami; Thomas Wilke

• Book ID: 112252480
• Publisher: Elsevier Science
• Year: 2000
• Tongue: English
• Weight: 270 KB
• Volume: 160
• Category: Article
• ISSN: 0890-5401
• DOI: 10.1006/inco.1999.2846