By Topic

Concurrent checking for logic [review of "New Methods of Concurrent Checking (Goessel, M., et al; 2008)]

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
1 Author(s)
Davidson, Scott ; Sun Microsystems

This is a review of New Methods of Concurrent Checking (by Michael Goessel, Vitaly Ocheretny, Egor Sogomonyan, and Daniel Marienfeld).

Published in:

Design & Test of Computers, IEEE  (Volume:27 ,  Issue: 3 )