Testing LTL formula translation into Büchi automata

✍ Scribed by Heikki Tauriainen; Keijo Heljanko

• Book ID: 106245658
• Publisher: Springer
• Year: 2002
• Tongue: English
• Weight: 320 KB
• Volume: 4
• Category: Article
• ISSN: 1433-2779
• DOI: 10.1007/s100090200070