The following pages link to Gérard Berry (Q453538):
Displaying 20 items.
- Constructive Boolean circuits and the exactness of timed ternary simulation (Q453539) (← links)
- (Q580981) (redirect page) (← links)
- From regular expressions to deterministic automata (Q580983) (← links)
- (Q1170878) (redirect page) (← links)
- Sequential algorithms on concrete data structures (Q1170880) (← links)
- The chemical abstract machine (Q1190491) (← links)
- The Esterel synchronous programming language: Design, semantics, implementation (Q1196296) (← links)
- (Q3205212) (← links)
- (Q3304401) (← links)
- SCADE: Synchronous Design and Validation of Embedded Control Software (Q3564012) (← links)
- (Q3735065) (← links)
- (Q3741042) (← links)
- (Q3756499) (← links)
- (Q3813288) (← links)
- (Q4160405) (← links)
- Minimal and Optimal Computations of Recursive Programs (Q4170199) (← links)
- (Q4473705) (← links)
- (Q4537129) (← links)
- (Q4787220) (← links)
- Formal Methods in Computer-Aided Design (Q5492974) (← links)