Felix Nicoli

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1998

3 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 Felix Nicoli, Laurence Pierre: Formal verification of behavioral VHDL specifications: a case study. EURO-DAC 1994: 560-565

	1998
3		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		Felix Nicoli, Laurence Pierre: Formal verification of behavioral VHDL specifications: a case study. EURO-DAC 1994: 560-565

Coauthor Index

1 Michel Allemand [2]

2 Laurence Pierre (Laurence V. Pierre) [1] [2]

1	Michel Allemand	[2]
2	Laurence Pierre (Laurence V. Pierre)	[1] [2]