Table of Contents Author Guidelines Submit a Manuscript
Research Article

A LTS Approach to Control in Event-B

Received 1 November 2017; Revised 19 March 2018; Accepted 3 April 2018

Academic Editor: Emiliano Tramontana