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

München / Oldenbourg (2009) [Journal Article]

Information technology : it
Volume: 51
Issue: 4
Page(s): 222-230

Authors

Selected Authors

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

Other Authors

Ummels, Michael

Identifier