Zheng Zhu (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

4 Zheng Zhu, Steven D. Johnson: Capturing Synchronization Specifications for Sequential Compositions. ICCD 1994: 117-121

2 Zheng Zhu, Steven D. Johnson: Automatic Synthesis of Sequential Synchronizations. CHDL 1993: 299-315

Selection of 2 from 7 records - Zheng Zhu has 6 coauthors

4		Zheng Zhu, Steven D. Johnson: Capturing Synchronization Specifications for Sequential Compositions. ICCD 1994: 117-121
2		Zheng Zhu, Steven D. Johnson: Automatic Synthesis of Sequential Synchronizations. CHDL 1993: 299-315