| |
| 1993 | ||
|---|---|---|
| 2 | Ghislaine Thuau, Bachir Berkane: A Unified Framework for Describing and Verifying Hardware Synchronous Sequential Systems. Formal Methods in System Design 2(3): 259-276 (1993) | |
| 1992 | ||
| 1 | Ghislaine Thuau, Bachir Berkane: Using the Language Lustre for Sequential Circuit Verification. Designing Correct Circuits 1992: 81-96 | |
| 1 | Ghislaine Thuau | [1] [2] |