An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces

✍ Scribed by P.S. Thiagarajan; I. Walukiewicz

• Book ID: 112252604
• Publisher: Elsevier Science
• Year: 2002
• Tongue: English
• Weight: 203 KB
• Volume: 179
• Category: Article
• ISSN: 0890-5401
• DOI: 10.1006/inco.2001.2956