Adam Brown

	2007
2		Adam Brown, James C. Browne, Calvin Lin: Early Results with Precision Abstraction: Using Data-flow Analysis to Improve the Scalability of Model Checking. IPDPS 2007: 1-5
	2002
1		Richard Cardone, Adam Brown, Sean McDirmid, Calvin Lin: Using mixins to build flexible widgets. AOSD 2002: 76-85

Coauthor Index

1	James C. Browne	[2]
2	Richard Cardone	[1]
3	Calvin Lin	[1] [2]
4	Sean McDirmid	[1]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page