Daniel Gaffé, Annie Ressouche. Compilation modulaire d un langage synchrone Spécification, simulation, implémentation et vérification d applications synchrones. Technique et Science Informatiques, 30(4):441-471, 2011. [doi]
@article{GaffeR11,
title = {Compilation modulaire d un langage synchrone Spécification, simulation, implémentation et vérification d applications synchrones},
author = {Daniel Gaffé and Annie Ressouche},
year = {2011},
url = {http://tsi.revuesonline.com/article.jsp?articleId=16203},
researchr = {https://researchr.org/publication/GaffeR11},
cites = {0},
citedby = {0},
journal = {Technique et Science Informatiques},
volume = {30},
number = {4},
pages = {441-471},
}