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

Company

R SIT A R S IS S SA / /

Currency

LTL / /

Facility

Pipeline Encoding / /

Organization

Informatik Universität / United Nations / /

Person

Uschi Regenberg / Tobias Maurer / Sven Schewe / Jens Regenberg / Uwe Regenberg / Jens Regenberg IV / Bernd Finkbeiner / Bernd Finkbeiner Naturwissenschaftlich-Technische / /

Position

great tutor / /

Technology

Alternating Bit Protocol / /

SocialTag