Volume 27, Issue 2, June 2017

Special Issue on Formal Methods in Control

Issue Editors:

ISSN: 0924-6703 (Print) 1573-7594 (Online)