Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 01/09/1997 → 17/04/2001 |
Funding
- DTU stipendium
Form¿l verifikation med boolske udtryksdiagrammer
- Williams, Poul Frederick (PhD Student)
- Andersen, Henrik Reif (Main Supervisor)
- Hulgaard, Henrik (Supervisor)