Mike Reed

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2005

2 Bernhard K. Aichernig, Jifeng He, Zhiming Liu, Mike Reed: Integrating Theories and Techniques for Program Modelling, Design and Verification. VSTTE 2005: 291-300

2004

1 Mike Reed: Order, Topology, and Recursion Induction in CSP. 25 Years Communicating Sequential Processes 2004: 242-242

	2005
2		Bernhard K. Aichernig, Jifeng He, Zhiming Liu, Mike Reed: Integrating Theories and Techniques for Program Modelling, Design and Verification. VSTTE 2005: 291-300
	2004
1		Mike Reed: Order, Topology, and Recursion Induction in CSP. 25 Years Communicating Sequential Processes 2004: 242-242

Coauthor Index