Eric Vecchié, Robert de Simone. Syntax-driven optimisations for reachable state space construction of ESTEREL programs. IJES, 2(3/4):228-238, 2006. [doi]
@article{VecchieS06,
title = {Syntax-driven optimisations for reachable state space construction of ESTEREL programs},
author = {Eric Vecchié and Robert de Simone},
year = {2006},
doi = {10.1504/IJES.2006.014858},
url = {http://dx.doi.org/10.1504/IJES.2006.014858},
researchr = {https://researchr.org/publication/VecchieS06},
cites = {0},
citedby = {0},
journal = {IJES},
volume = {2},
number = {3/4},
pages = {228-238},
}