Xiuli Sun (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Juncao Li, Xiuli Sun, Fei Xie, Xiaoyu Song: Component-Based Abstraction and Refinement. ICSR 2008: 39-51

2 Xiuli Sun, Jinzhao Wu, Xiaoyu Song, Mila E. Majster-Cederbaum: Formal Specification of an Asynchronous Processor via Action Refinement. MTV 2004: 36-41

Selection of 2 from 5 records - Xiuli Sun has 11 coauthors

4		Juncao Li, Xiuli Sun, Fei Xie, Xiaoyu Song: Component-Based Abstraction and Refinement. ICSR 2008: 39-51
2		Xiuli Sun, Jinzhao Wu, Xiaoyu Song, Mila E. Majster-Cederbaum: Formal Specification of an Asynchronous Processor via Action Refinement. MTV 2004: 36-41