Skip to Main content Skip to Navigation
New interface

Search by documents



hal-00618104v1  Conference papers
Dumitru Potop-ButucaruRobert de Simone. Optimizations for faster execution of Esterel programs
Formal Methods and Models for Codesign (MEMOCODE'2003), Jun 2003, Mont Saint-Michel, France. pp.227-236 - ISBN 0-7695-1923-7, ⟨10.1109/MEMCOD.2003.1210107⟩