DFG Research Training Group 'Algorithmic synthesis of reactive and discrete-continuous systems (AlgoSyn)'

München / Oldenbourg (2009) [Fachzeitschriftenartikel]

Information technology : it
Band: 51
Ausgabe: 4
Seite(n): 222-230

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Thomas, Wolfgang
Bollue, Kai
Gückel, Dominique
Quirós, Gustavo
Slaats, Michaela

Weitere Autorinnen und Autoren

Ummels, Michael

Identifikationsnummern