Felix Nicoli

According to our database¹, Felix Nicoli authored at least 3 papers between 1994 and 1998.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1998

Denotational Semantics of a Behavioral Subset of VHDL.

[BibT_eX]

[DOI]

Proceedings of the 1998 Design, 1998

1994

Formal verification of behavioral VHDL specifications: a case study.

[BibT_eX]

[DOI]

Proceedings of the Proceedings EURO-DAC'94, 1994

Formal Verification of Hardware using LP and Comparison with Nqthm.

[BibT_eX]

Proceedings of the 12st IASTED International Conference on Applied Informatics, 1994