Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/07/03 → 31/12/03 |
Expressive power & complexity of Temporal logics for Model checking
- Gore, Rajeev (PI)
Project: Research
Project: Research
| Status | Finished |
|---|---|
| Effective start/end date | 1/07/03 → 31/12/03 |