Filter by: Subject
Now showing items 1-7 of 1
| EPSRC GR/M/02583 (1) |
| HRT-HOOD (1) |
| interval temporal logic (1) |
| object-based (1) |
| refinement calculus (1) |
| temporal agent model (1) |
| wide spectrum language (1) |
| EPSRC GR/M/02583 (1) |
| HRT-HOOD (1) |
| interval temporal logic (1) |
| object-based (1) |
| refinement calculus (1) |
| temporal agent model (1) |
| wide spectrum language (1) |