Back to Results
First PageMeta Content
Formal methods / Büchi automaton / Ω-automaton / Linear temporal logic / SIGNAL / Powerset construction / Automata theory / Theoretical computer science / Computer science


Synthesis of Reactive Systems Jens Regenberg <> IV
Add to Reading List

Document Date: 2008-09-23 06:27:20


Open Document

File Size: 518,82 KB

Share Result on Facebook
UPDATE