مؤتمر
CTL model checking for processing simple XPath queries
| العنوان: | CTL model checking for processing simple XPath queries |
|---|---|
| المؤلفون: | Afanasiev, L., Franceschet, M., Marx, M., de Rijke, M. |
| المصدر: | Proceedings. 11th International Symposium on Temporal Representation and Reasoning, 2004. TIME 2004. Temporal representation and reasoning Temporal Representation and Reasoning, 2004. TIME 2004. Proceedings. 11th International Symposium on. :117-124 2004 |
| Relation: | Proceedings. 11th International Symposium on Temporal Representation and Reasoning (TIME 2004) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 076952155X 9780769521558 |
|---|---|
| DOI: | 10.1109/TIME.2004.1314428 |