Computer Aided Systems Theory -- EUROCAST 2013: 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013. Revised ... Part I (Lecture Notes in Computer Science)

· Springer