Felix Nicoli (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Michel Allemand, Felix Nicoli, Laurence Pierre: Formal Verification of Hardware using LP and Comparison with Nqthm. Applied Informatics 1994: 150-153

1 Felix Nicoli, Laurence Pierre: Formal verification of behavioral VHDL specifications: a case study. EURO-DAC 1994: 560-565

Selection of 2 from 3 records - Felix Nicoli has 2 coauthors

2		Michel Allemand, Felix Nicoli, Laurence Pierre: Formal Verification of Hardware using LP and Comparison with Nqthm. Applied Informatics 1994: 150-153
1		Felix Nicoli, Laurence Pierre: Formal verification of behavioral VHDL specifications: a case study. EURO-DAC 1994: 560-565