| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 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 |
| 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
Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page