Branching within Time: An Expressively Complete and Elementarily Decidable Temporal Logic for Time Granularity

✍ Scribed by Massimo Franceschet; Angelo Montanari

• Book ID: 118661251
• Publisher: Springer
• Year: 2003
• Tongue: English
• Weight: 270 KB
• Volume: 1
• Category: Article
• ISSN: 1570-7075
• DOI: 10.1023/a:1024643624349