Back to Results
First PageMeta Content
Computer science / Büchi automaton / Finite-state machine / Powerset construction / Infinite tree automaton / Ω-automaton / Automata theory / Theoretical computer science / Models of computation


Recognizing safety and liveness
Add to Reading List

Document Date: 2013-09-13 15:44:12

Open Document

File Size: 1,04 MB

Share Result on Facebook
UPDATE