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


Universit¨at des Saarlandes Naturwissenschaftlich-Technische Fakult¨at 1 Fachrichtung Informatik Bachelor-Studiengang Informatik Bachelor’s Thesis
Add to Reading List

Document Date: 2008-09-29 06:47:38

Open Document

File Size: 272,18 KB

Share Result on Facebook

IndustryTerm

important tools / reactive systems / correct systems / /

Organization

X\Z / Computer Science Department / /

Person

Thomas von Bomhard / Sven Schewe / Rabin / Bernd Finkbeiner / /

Position

Supervisor / Advisor / /

Technology

simulation / /

SocialTag