An Approach of XML Query Evaluation Based Model Checking
By: Li Yan-Mei, Huang Shao-Bin, Li Ya and Xu Li
Download Article
Download the full article as a PDF file.
DOI: https://doi.org/10.1515/cait-2016-0066 | Journal eISSN: 1314-4081 | Journal ISSN: 1311-9702 (formerly 1314-4081)
Language: English
Page range: 45 - 54
Published on: Dec 22, 2016
Published by: Bulgarian Academy of Sciences, Institute of Information and Communication Technologies
In partnership with: Paradigm Publishing Services
Keywords:
Related subjects:
© 2016 Li Yan-Mei, Huang Shao-Bin, Li Ya, Xu Li, published by Bulgarian Academy of Sciences, Institute of Information and Communication Technologies
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.