Brian R. Becker

	1999
4		Cui Zhang, Brian R. Becker, Dave Peticolas, Ronald A. Olsson, Karl N. Levitt: LVT: A Layered Verification Technique for Distributed Computing Systems. Softw. Test., Verif. Reliab. 9(2): 107-133 (1999)
	1997
3		Cui Zhang, Brian R. Becker, Dave Peticolas, Mark Heckman, Karl N. Levitt, Ronald A. Olsson: Verification of a Distributed Computing. HICSS (5) 1997: 252-261
	1996
2		Mark Heckman, Cui Zhang, Brian R. Becker, Dave Peticolas, Karl N. Levitt, Ronald A. Olsson: Towards Applying the Composition Principle to Verify a Microkernel Operating System. TPHOLs 1996: 235-250
	1995
1		Cui Zhang, Brian R. Becker, Mark Heckman, Karl N. Levitt, Ronald A. Olsson: A Hierarchical Method for Reasoning about Distributed Programming Languages. TPHOLs 1995: 385-400

Coauthor Index

1	Mark Heckman	[1] [2] [3]
2	Karl N. Levitt	[1] [2] [3] [4]
3	Ronald A. Olsson	[1] [2] [3] [4]
4	Dave Peticolas	[2] [3] [4]
5	Cui Zhang	[1] [2] [3] [4]

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