Metric and Layered Temporal Logic for Time Granularity
| Authors |
|
|---|---|
| Supervisors |
|
| Award date | 20-09-1996 |
| ISBN |
|
| Number of pages | 164 |
| Publisher | Amsterdam: ILLC |
| Organisations |
|
| Document type | PhD thesis |
| Language | English |
| Downloads | |
| Permalink to this page | |