Rod Adams, Sue Gray Using Conditional Execution to Exploit Instruction Level Concurrency [Citation Graph (0, 0)][DBLP] Softw., Pract. Exper., 1995, v:25, n:9, pp:1003-1020 [Journal]
Richard Lai Using PROTEAN for Verifying a Complex Protocol - A Case Study [Citation Graph (0, 0)][DBLP] Softw., Pract. Exper., 1995, v:25, n:9, pp:1021-1044 [Journal]