| |
| 1997 | ||
|---|---|---|
| 4 | Mark B. Josephs, Andrew M. Bailey: The Use of SI-Algebra in the Design of Sequencer Circuits. Formal Asp. Comput. 9(4): 395-408 (1997) | |
| 1995 | ||
| 3 | EE | Andrew M. Bailey, Mark B. Josephs: Sequencer circuits for VLSI programming. ASYNC 1995: 82-90 |
| 1994 | ||
| 2 | Andrew M. Bailey, George A. McCaskill, George J. Milne: An Exercise in the Automatic Verification of Asynchronous Designs. Formal Methods in System Design 4(3): 213-242 (1994) | |
| 1993 | ||
| 1 | Andrew M. Bailey: Automatic Verification of Speed-Independent Circuit Designs Using the Circal System. CHARME 1993: 167-178 | |
| 1 | Mark B. Josephs | [3] [4] |
| 2 | George A. McCaskill | [2] |
| 3 | George J. Milne | [2] |