Skip to content

Modelling a real-time control system using parameterized linear hybrid automata.

Christian Schwarz

VenueBGI
Year2011
ProceedingsGI-Jahrestagung

Browse the full GI paper archive.