Andrew M. Bailey

	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		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

Coauthor Index

1	Mark B. Josephs	[3] [4]
2	George A. McCaskill	[2]
3	George J. Milne	[2]

Colors in the list of coauthors