Alan Martin

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2005

2 Michael R. Smith, Andrew K. C. Kwan, Alan Martin, James Miller: E-TDD - Embedded Test Driven Development a Tool for Hardware-Software Co-design Projects. XP 2005: 145-153

2001

1 Alan Martin: Adequate Sets of Temporal Connectives in CTL. Electr. Notes Theor. Comput. Sci. 52(1): (2001)

	2005
2		Michael R. Smith, Andrew K. C. Kwan, Alan Martin, James Miller: E-TDD - Embedded Test Driven Development a Tool for Hardware-Software Co-design Projects. XP 2005: 145-153
	2001
1		Alan Martin: Adequate Sets of Temporal Connectives in CTL. Electr. Notes Theor. Comput. Sci. 52(1): (2001)

Coauthor Index