| 1992 | ||
|---|---|---|
| 1 | H. Belhadj, L. Gerbaux, Marie-Claude Bertrand, Gabriele Saucier: Specification and Synthesis of Communicating Finite State Machines. Synthesis for Control Dominated Circuits 1992: 91-102 | |
| 1 | Marie-Claude Bertrand | [1] |
| 2 | L. Gerbaux | [1] |
| 3 | Gabriele Saucier | [1] |