publication venue for Compositional Model Checking of Concurrent Systems 2015 The timewheel group communication system 2002 Prefetching using Markov predictors 1999 TESTING STRATEGY AND TECHNIQUE FOR MACRO-BASED CIRCUITS 1985 Testing Strategy and Technique for Macro-Based Circuits 1985
