Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 09/1/98 → 08/31/01 |
Funding
- National Science Foundation: $66,000.00
CISE POSTDOC: BEYOND FINITE STATE MODEL CHECKING IN LMC
- Ramakrishnan, C (PI)
- Ramakrishnan, I.V. (CoPI)
- Smolka, Scott (CoPI)
Project: Research