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]
@article{ZhangBHKT14,
title = {Controllability for discrete event systems modelled in VeriJ},
author = {Yan Zhang and Béatrice Bérard and Lom-Messan Hillah and Fabrice Kordon and Yann Thierry-Mieg},
year = {2014},
doi = {10.1504/IJCCBS.2014.064668},
url = {http://dx.doi.org/10.1504/IJCCBS.2014.064668},
researchr = {https://researchr.org/publication/ZhangBHKT14},
cites = {0},
citedby = {0},
journal = {IJCCBS},
volume = {5},
number = {3/4},
pages = {218-240},
}