%0 Journal Article %1 journals/tsi/GaffeR11 %A Gaffé, Daniel %A Ressouche, Annie %D 2011 %J Technique et Science Informatiques %K dblp %N 4 %P 441-471 %T Compilation modulaire d'un langage synchrone Spécification, simulation, implémentation et vérification d'applications synchrones. %U http://dblp.uni-trier.de/db/journals/tsi/tsi30.html#GaffeR11 %V 30

@article{journals/tsi/GaffeR11, added-at = {2019-10-19T00:00:00.000+0200}, author = {Gaffé, Daniel and Ressouche, Annie}, biburl = {https://www.bibsonomy.org/bibtex/26f523607a828655e137de5962c93d74a/dblp}, ee = {https://doi.org/10.3166/tsi.30.441-471}, interhash = {8fb77d3b68a6c9f849353fec6b92e088}, intrahash = {6f523607a828655e137de5962c93d74a}, journal = {Technique et Science Informatiques}, keywords = {dblp}, number = 4, pages = {441-471}, timestamp = {2019-10-22T12:11:54.000+0200}, title = {Compilation modulaire d'un langage synchrone Spécification, simulation, implémentation et vérification d'applications synchrones.}, url = {http://dblp.uni-trier.de/db/journals/tsi/tsi30.html#GaffeR11}, volume = 30, year = 2011 }