G. M. Shi

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1996

3 William E. Howden, G. M. Shi: Linear and Structural Event Sequence Analysis. ISSTA 1996: 98-106

1995

2 William E. Howden, G. M. Shi: Temporal Event Analysis and Program Understanding. COMPSAC 1995: 4-11

1990

1 G. M. Shi, I. Miyamoto: Toward Verification and Validation of Software Requirements. SEKE 1990: 251-259

	1996
3		William E. Howden, G. M. Shi: Linear and Structural Event Sequence Analysis. ISSTA 1996: 98-106
	1995
2		William E. Howden, G. M. Shi: Temporal Event Analysis and Program Understanding. COMPSAC 1995: 4-11
	1990
1		G. M. Shi, I. Miyamoto: Toward Verification and Validation of Software Requirements. SEKE 1990: 251-259

Coauthor Index

1 William E. Howden [2] [3]

2 I. Miyamoto [1]

Colors in the list of coauthors