Trent N. Larson

	1998
1		Annette Bunker, Trent N. Larson, Michael D. Jones, Phillip J. Windley: Alexandria: A Tool for Hierarchical Verification. FMCAD 1998: 515-522

Coauthor Index

1	Annette Bunker	[1]
2	Michael D. Jones	[1]
3	Phillip J. Windley	[1]