%0 Journal Article %1 journals/ijccbs/ZhangBHKT14 %A Zhang, Yan %A Bérard, Béatrice %A Hillah, Lom-Messan %A Kordon, Fabrice %A Thierry-Mieg, Yann %D 2014 %J Int. J. Crit. Comput. Based Syst. %K dblp %N 3/4 %P 218-240 %T Controllability for discrete event systems modelled in VeriJ. %U http://dblp.uni-trier.de/db/journals/ijccbs/ijccbs5.html#ZhangBHKT14 %V 5

@article{journals/ijccbs/ZhangBHKT14, added-at = {2020-09-10T00:00:00.000+0200}, author = {Zhang, Yan and Bérard, Béatrice and Hillah, Lom-Messan and Kordon, Fabrice and Thierry-Mieg, Yann}, biburl = {https://www.bibsonomy.org/bibtex/2319923fcfc09b85867e6ed7a55890328/dblp}, ee = {https://doi.org/10.1504/IJCCBS.2014.064668}, interhash = {b36dc5416923bba3636741198f251e88}, intrahash = {319923fcfc09b85867e6ed7a55890328}, journal = {Int. J. Crit. Comput. Based Syst.}, keywords = {dblp}, number = {3/4}, pages = {218-240}, timestamp = {2020-09-11T11:49:03.000+0200}, title = {Controllability for discrete event systems modelled in VeriJ.}, url = {http://dblp.uni-trier.de/db/journals/ijccbs/ijccbs5.html#ZhangBHKT14}, volume = 5, year = 2014 }