R. Dobson

Publication Activity (10 Years)

Years Active: 1997-1999
Publications (10 Years): 0

Publications

Nadeem Malik, Jason Baumgartner, S. Roberts, R. Dobson
A toolset for assisted formal verification. IPCCC (1999)
Nadeem Malik, S. Roberts, A. Pita, R. Dobson
Automaton: an autonomous coverage-based multiprocessor system verification environment. IEEE International Workshop on Rapid System Prototyping (1997)