Back to Results
First PageMeta Content
Computer science / Ω-automaton / Deterministic finite automaton / Nondeterministic finite automaton / Linear temporal logic / Finite-state machine / Symbol / Büchi automaton / Automata theory / Theoretical computer science / Formal methods


How to Efficiently Translate Extensions of Temporal Logics into Alternating Automata C´esar S´ anchez1,2 and Julian Samborski-Forlese1 1
Add to Reading List

Document Date: 2014-06-27 10:56:07

Open Document

File Size: 325,42 KB

Share Result on Facebook
UPDATE