Juin-Yeu Lu

According to our database¹, Juin-Yeu Lu authored at least 2 papers between 1993 and 1994.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1994

Generating Designs Using an Algorithmic Register Transfer Language with Formal Semantics.

[BibT_eX]

[DOI]

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

1993

Linking HOL to a VLSI CAD System.

[BibT_eX]

[DOI]

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993