


default search action
"A divide-and-conquer-method for the synthesis of liveness enforcing ..."
Murat Uzam et al. (2016)
- Murat Uzam
, ZhiWu Li, Gökhan Gelen
, Rabiu Saleh Zakariyya:
A divide-and-conquer-method for the synthesis of liveness enforcing supervisors for flexible manufacturing systems. J. Intell. Manuf. 27(5): 1111-1129 (2016)

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.