From post

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

Model Checking Computational Tree Logic Using Sticker Automata.

W. Zhu, Y. Wang, Q. Zhou, и K. Nie. BIC-TA (1), том 681 из Communications in Computer and Information Science, стр. 12-20. Springer, (2016)

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.

Yaru Nie

Xiaohan Nie

Heinz Nie

Zhigang Nie

Pingping Nie

Другие публикации лиц с тем же именем

An Inflammatory Bowel Diseases Integrated Resources Portal (IBDIRP).N. Kai, C. Qingsong, M. Kejia, L. Weiwei, X. Wu, C. Xuejie, C. Lixia, D. Minzi, Y. Yang, и W. Xiaoyan. Database J. Biol. Databases Curation, (января 2024)Parallel Region Reconstruction Technique for Sunway High-Performance Multi-core Processors.K. Nie, Q. Zhou, H. Qian, J. Pang, J. Xu, и Y. Li. ICPCSEE (1), том 1451 из Communications in Computer and Information Science, стр. 163-179. Springer, (2021)Efficient publicly verifiable conjunctive keyword search over encrypted data in cloud computing.K. Nie, Y. Wang, и X. Tao. Int. J. Embed. Syst., 11 (6): 707-718 (2019)Thread Private Variable Access Optimization Technique for Sunway High-Performance Multi-core Processors.J. Kong, K. Nie, Q. Zhou, J. Xu, и L. Han. ICPCSEE (1), том 1451 из Communications in Computer and Information Science, стр. 180-189. Springer, (2021)基于时序逻辑的3种网络攻击建模 (Modeling for Three Kinds of Network Attacks Based on Temporal Logic).K. Nie, Q. Zhou, W. Zhu, и C. Zhang. 计算机科学, 45 (2): 209-214 (2018)A Robust Gray-code Pattern Decoding Method for 3D Scanning with Structured Light.Z. Cui, K. Nie, S. Qi, C. Hou, и W. Chen. ICCVIT, стр. 9:1-9:5. ACM, (2023)Model Checking for Computation Tree Logic with Past Based on DNA Computing.Y. Han, Q. Zhou, L. Jiao, K. Nie, C. Zhang, и W. Zhu. BIC-TA, том 791 из Communications in Computer and Information Science, стр. 131-147. Springer, (2017)Model Checking Computational Tree Logic Using Sticker Automata.W. Zhu, Y. Wang, Q. Zhou, и K. Nie. BIC-TA (1), том 681 из Communications in Computer and Information Science, стр. 12-20. Springer, (2016)Aiming to Detect a malware of GSM frequency.W. Zhu, и K. Nie. CoRR, (2017)Research on Equipment Effectiveness Evaluation with Weight Random Variables.X. shuang Zhao, K. Nie, и H. xiang Wang. ISCID (1), стр. 12-14. IEEE Computer Society, (2011)

BibSonomy

Disambiguation

Please choose a person to relate this publication to

Yaru Nie

Xiaohan Nie

Heinz Nie

Zhigang Nie

Pingping Nie

Другие публикации лиц с тем же именем

Disambiguation

BibSonomy

Disambiguation

копироватьудалитьдобавить публикацию в буферЗапись сообществапосмотреть историю данной записиURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Model Checking Computational Tree Logic Using Sticker Automata.

Please choose a person to relate this publication to

Yaru Nie

Xiaohan Nie

Heinz Nie

Zhigang Nie

Pingping Nie

Другие публикации лиц с тем же именем

Disambiguation