Original language | English |
---|---|
Pages | 105-114 |
Publication status | Published - 4 Oct 2000 |
Event | International Conference on Temporal Logic, ICTL 2000 - University of Leipzig, Leipzig, Germany Duration: 4 Oct 2000 → 7 Oct 2000 |
Conference
Conference | International Conference on Temporal Logic, ICTL 2000 |
---|---|
Abbreviated title | ICTL |
Country/Territory | Germany |
City | Leipzig |
Period | 4/10/00 → 7/10/00 |
Keywords
- METIS-119638