Juin-Yeu Lu
According to our database1,
Juin-Yeu Lu
authored at least 2 papers
between 1993 and 1994.
Collaborative distances:
Collaborative distances:
Timeline
1993
1994
0
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1994
Generating Designs Using an Algorithmic Register Transfer Language with Formal Semantics.
Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994
1993
Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993