David L. Dill

David L. Dill

3 ספרים במאגר

ספרים

Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994David L. Dill

Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994

David L. Dill · 1994

Trace theory for automatic hierarchical verification of speed-independent circuitsDavid L. Dill

Trace theory for automatic hierarchical verification of speed-independent circuits

David L. Dill · 2003

Computer Aided VerificationDavid L. Dill

Computer Aided Verification

David L. Dill · 2014