The Transaction-Based Verification Methodology (2000)

by D Brahme, S Cox, J Gallo, M Glasser, W Grundmann, C Ip, W Paulsen, J Pierce, J Rose, D Shea, K Whiting