dblp.uni-trier.dewww.uni-trier.de

Xiang Yin

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
3EEXiang Yin, John C. Knight, Elisabeth A. Nguyen, Westley Weimer: Formal Verification by Reverse Synthesis. SAFECOMP 2008: 305-319
2007
2EEXiang Yin, Jianguo Jiang, Na Xia: A Novel Strategy of Coalition Evolvement Based on Interest. SNPD (1) 2007: 611-615
2006
1EEXiang Yin: The echo approach to formal verification. ICSE 2006: 981-984

Coauthor Index

1Jianguo Jiang [2]
2John C. Knight [3]
3Elisabeth A. Nguyen [3]
4Westley Weimer [3]
5Na Xia [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)