مؤتمر
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 |
كن أول من يترك تعليقا!