Nate James

	2002
1		David L. Dill, Nate James, Shishpal Rawat, Gérard Berry, Limor Fix, Harry Foster, Rajeev K. Ranjan, Gunnar Stålmarck, Curt Widdoes: Formal verification methods: getting around the brick wall. DAC 2002: 576-577

Coauthor Index

1	Gérard Berry	[1]
2	David L. Dill	[1]
3	Limor Fix	[1]
4	Harry Foster	[1]
5	Rajeev K. Ranjan	[1]
6	Shishpal Rawat	[1]
7	Gunnar Stålmarck	[1]
8	Curt Widdoes	[1]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page