| |
| 1989 | ||
|---|---|---|
| 1 | Nicolas Halbwachs, Daniel Pilaud, Farid Ouabdesselam, A.-C. Glory: Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language. Automatic Verification Methods for Finite State Systems 1989: 213-231 | |
| 1 | Nicolas Halbwachs | [1] |
| 2 | Farid Ouabdesselam | [1] |
| 3 | Daniel Pilaud | [1] |