First Page | Document Content | |
---|---|---|
Date: 2008-09-22 13:39:05Applied 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.deAdd to Reading ListSource URL: cgi.csc.liv.ac.ukDownload Document from Source WebsiteFile Size: 236,94 KBShare Document on Facebook |