Back to Results
First PageMeta Content
Applied mathematics / Ω-automaton / Finite-state machine / Scheduling / Tree automaton / Alternating finite automaton / Powerset construction / Automata theory / Theoretical computer science / Computer science


Synthesis of Asynchronous Systems Sven Schewe and Bernd Finkbeiner Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany {schewe|finkbeiner}@cs.uni-sb.de
Add to Reading List

Document Date: 2008-09-22 13:39:05

Open Document

File Size: 236,94 KB

Share Result on Facebook
UPDATE