Juin-Yeu Lu

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1994

2 Juin-Yeu Lu, Shiu-Kai Chin: Generating Designs Using an Algorithmic Register Transfer Language with Formal Semantics. TPHOLs 1994: 316-331

1993

1 Juin-Yeu Lu, Shiu-Kai Chin: Linking HOL to a VLSI CAD System. HUG 1993: 199-212

1994
2		Juin-Yeu Lu, Shiu-Kai Chin: Generating Designs Using an Algorithmic Register Transfer Language with Formal Semantics. TPHOLs 1994: 316-331
1993
1		Juin-Yeu Lu, Shiu-Kai Chin: Linking HOL to a VLSI CAD System. HUG 1993: 199-212

Coauthor Index

1 Shiu-Kai Chin [1] [2]