Formal computational methods for control theory

Aachen / Publikationsserver der RWTH Aachen University (2006) [Dissertation / PhD Thesis]

Page(s): IV, 203 S.

Authors

Selected Authors

Robertz, Daniel

Identifier

  • URN: urn:nbn:de:hbz:82-opus-15866
  • REPORT NUMBER: RWTH-CONV-122739