Automatisk Verifikation af store systemer
Project: PhD
- Lind-Nielsen, Jørn (Phd Student)
- Andersen, Henrik Reif (Main Supervisor)
- Løvengreen, Hans Henrik (Examiner)
| Status | Completed |
|---|---|
| Period | 01-02-97 → 07-09-00 |
| Financing source | Internal funding (public) |
|---|---|
| Research programme | DTU-Su Stipendium, Eksperiment |
ID: 2300436