Neil J. Robinson

	2003
5		Kirsten Winter, Neil J. Robinson: Modelling Large Railway Interlockings and Model Checking Small Ones. ACSC 2003: 309-316
4		Neil J. Robinson: Incremental Derivation of Abstraction Relations for Data Refinement. ICFEM 2003: 246-265
	2002
3		Neil J. Robinson, Colin J. Fidge: Animation of Data Refinements. APSEC 2002: 137-146
2		Neil J. Robinson: Checking Z Data Refinements Using an Animation Tool. ZB 2002: 62-81
	2001
1		Neil J. Robinson, Colin J. Fidge: Visualisation of Refinements. Australian Software Engineering Conference 2001: 244-254

Coauthor Index

1	Colin J. Fidge	[1] [3]
2	Kirsten Winter	[5]

Colors in the list of coauthors