Back to Results
First PageMeta Content
Linear temporal logic / Temporal logic / Theoretical computer science / Models of computation / Büchi automaton / Computer science / Linear temporal logic to Büchi automaton / Automatic sequence / Automata theory / Model checking / Formal methods


Microsoft PowerPoint - LTL to Buchi.ppt
Add to Reading List

Document Date: 2006-06-05 00:33:10

Open Document

File Size: 147,81 KB

Share Result on Facebook

Currency

LTL / /

SocialTag