Michaela Slaats - Wissenschaftliche Veröffentlichungen

(1 - 18 von 18

)

GAMES - Spring School in Bertinoro

www.games.rwth-aachen.de

A GAMES spring school took place in the Centro Residenziale Universitario in Bertinoro ... Michaela Slaats RWTH Aachen Marija Slavkovik Uni. of Luxembourg

dblp: Michael Ummels

dblp.uni-trier.de

List of computer science publications by Michael Ummels

dblp: Michaela Slaats

dblp.org

List of computer science publications by Michaela Slaats

Dr. rer. nat. Dominique Marcel Gückel [Informatik Embedded...

embedded.rwth-aachen.de

... Michaela Slaats and Michael Ummels. DFG Research Training Group “Algorithmic Synthesis of Reactive and Discrete-Continuous Systems (AlgoSyn) ...

dblp: 33. MFCS 2008: Torun, Poland

dblp.uni-trier.de

Bibliographic content of 33. MFCS 2008: Torun, Poland

Infinite regular games in the higher-order pushdown and the...

publications.rwth-aachen.de

... setting = Unendliche reguläre Spiele in der Higher-Order Pushdown und der parametrisierten Fassung / vorgelegt von Michaela Slaats

dblp: Dominique Gückel

dblp.org

List of computer science publications by Dominique Gückel

Publications

www-i2.informatik.rwth-aachen.de

... Michaela Slaats, Erika Abraham, Wolfgang Thomas, Dirk Abel. Synthesis of Behavioral Controllers for DES: Increasing Efficiency. 10th Int. Workshop on ...

dblp: Gustavo Quiros

dblp.dagstuhl.de

List of computer science publications by Gustavo Quiros

dblp: Kai Bollue

dblp.org

List of computer science publications by Kai Bollue

Verwandte Suchanfragen zu Michaela Slaats

Wolfgang Thomas

Personen
Vorname "Michaela" (31783)
Name "Slaats" (32)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Wissenschaftliche Veröffentlichungen Michaela Slaats