From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Towards Building Virtual Vocabularies in the Semantic Web.

Y. Wen, X. Zhang, K. Shen, и P. Wang. ADMA (1), том 8346 из Lecture Notes in Computer Science, стр. 193-204. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Towards Building Virtual Vocabularies in the Semantic Web.Y. Wen, X. Zhang, K. Shen, и P. Wang. ADMA (1), том 8346 из Lecture Notes in Computer Science, стр. 193-204. Springer, (2013)On Reachability Analysis of Updatable Timed Automata with One Updatable Clock.Y. Wen, G. Li, и S. Yuen. SOFL+MSVL, том 9559 из Lecture Notes in Computer Science, стр. 147-161. Springer, (2015)An Over-Approximation Forward Analysis for Nested Timed Automata.Y. Wen, G. Li, и S. Yuen. SOFL+MSVL, том 8979 из Lecture Notes in Computer Science, стр. 62-80. Springer, (2014)Nested Timed Automata with Diagonal Constraints.Y. Wang, Y. Wen, G. Li, и S. Yuen. ICFEM, том 10610 из Lecture Notes in Computer Science, стр. 396-412. Springer, (2017)