Controllability for discrete event systems modelled in VeriJ

Yan Zhang, Béatrice Bérard, Lom-Messan Hillah, Fabrice Kordon, Yann Thierry-Mieg. Controllability for discrete event systems modelled in VeriJ. IJCCBS, 5(3/4):218-240, 2014. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: