John A. Chaves

	1996
3		Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen: A Framework for Evaluating Specification Methods for Reactive Systems Experience Report. IEEE Trans. Software Eng. 22(6): 378-389 (1996)
	1995
2		Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen: A Framework for Evaluating Specification Methods for Reactive Systems: Experience Report. ICSE 1995: 159-168
	1991
1		John A. Chaves: Formal Methods at AT&T - An Industrial Usage Report. FORTE 1991: 83-90

Coauthor Index

1	Mark A. Ardis	[2] [3]
2	Lalita Jategaonkar Jagadeesan (Lalita Jategaonkar)	[2] [3]
3	Peter Mataga	[2] [3]
4	James Von Olnhausen	[2] [3]
5	Carlos Puchol	[2] [3]
6	Mark G. Staskauskas	[2] [3]