Nate James

Publication Activity (10 Years)

Years Active: 2002-2002
Publications (10 Years): 0

Publications

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)