Danita Hartley

	2002
3		Padmanabhan Krishnan, Danita Hartley: Using Model Checking to Test a Firewall : A Case Study. EUROMICRO 2002: 284-293
2		Danita Hartley, Antonija Mitrovic: Supporting Learning by Opening the Student Model. Intelligent Tutoring Systems 2002: 453-462
	2000
1		Danita Hartley, Neville Churcher, Greg Albertson: Virtual worlds for Web site visualisation. APSEC 2000: 448-455

Coauthor Index

1	Greg Albertson	[1]
2	Neville Churcher (Neville I. Churcher)	[1]
3	Padmanabhan Krishnan	[3]
4	Antonija Mitrovic	[2]

Colors in the list of coauthors