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
