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

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

München / Oldenbourg (2009) [Fachzeitschriftenartikel]

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

Identifikationsnummern