Eric Vecchié, Jean-Pierre Talpin, Klaus Schneider
Separate compilation and execution of imperative synchronous modules
DATE, 2009.
@inproceedings{DATE-2009-VecchieTS, author = "Eric Vecchié and Jean-Pierre Talpin and Klaus Schneider", booktitle = "{Proceedings of the 13th Conference on Design, Automation and Test in Europe}", pages = "1580--1583", publisher = "{IEEE}", title = "{Separate compilation and execution of imperative synchronous modules}", year = 2009, }