Steve Burns

	1998
2		William Chan, Richard J. Anderson, Paul Beame, Steve Burns, Francesmary Modugno, David Notkin, Jon Damon Reese: Model Checking Large Software Specifications. IEEE Trans. Software Eng. 24(7): 498-520 (1998)
	1996
1		Richard J. Anderson, Paul Beame, Steve Burns, William Chan, Francesmary Modugno, David Notkin, Jon Damon Reese: Model Checking Large Software Specifications. SIGSOFT FSE 1996: 156-166

Coauthor Index

1	Richard J. Anderson	[1] [2]
2	Paul Beame	[1] [2]
3	William Chan	[1] [2]
4	Francesmary Modugno	[1] [2]
5	David Notkin	[1] [2]
6	Jon Damon Reese	[1] [2]

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