مؤتمر
On non-local propositional and local one-variable quantified CTL*
| العنوان: | On non-local propositional and local one-variable quantified CTL* |
|---|---|
| المؤلفون: | Bauer, S., Hodkinson, I., Wolter, F., Zakharyaschev, M. |
| المصدر: | Proceedings Ninth International Symposium on Temporal Representation and Reasoning Temporal representation and reasoning Temporal Representation and Reasoning, 2002. TIME 2002. Proceedings.Ninth International Symposium on. :2-9 2002 |
| Relation: | Proceedings Ninth International Symposium on Temporal Representation and Reasoning |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 076951474X 9780769514741 |
|---|---|
| تدمد: | 15301311 |
| DOI: | 10.1109/TIME.2002.1027466 |