| |
| 1998 | ||
|---|---|---|
| 3 | EE | Felix Nicoli: Denotational Semantics of a Behavioral Subset of VHDL. DATE 1998: 975-976 |
| 1994 | ||
| 2 | Michel Allemand, Felix Nicoli, Laurence Pierre: Formal Verification of Hardware using LP and Comparison with Nqthm. Applied Informatics 1994: 150-153 | |
| 1 | EE | Felix Nicoli, Laurence Pierre: Formal verification of behavioral VHDL specifications: a case study. EURO-DAC 1994: 560-565 |
| 1 | Michel Allemand | [2] |
| 2 | Laurence Pierre | [1] [2] |