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]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page