Document is current

Progressive events in supervisory control and compositional verification

Crossref DOI link: https://doi.org/10.1007/s11768-014-4097-8

Published Online: 2014-10-01

Published Print: 2014-08

Update policy: https://doi.org/10.1007/springer_crossmark_policy