( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model-Checking of Linear-Time Properties in Multi-Valued Systems

, и . CoRR, (2012)

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.

Lei Lei

Lei Lei

Lihui Wang

Lihui Zhou

Lihui Xu

 

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

A Novel Method for Signal Sequence Classification Based on Markov Reward Models., и . NCTCS, том 1944 из Communications in Computer and Information Science, стр. 65-81. Springer, (2023)Model-Checking of Linear-Time Properties in Multi-Valued Systems, и . CoRR, (2012)Long-Term Traffic Flow Prediction Based on DiGCN-based Multi-head Spatiotemporal Attention Convolutional Network., , и . ICMLC, стр. 562-567. ACM, (2023)Big Data Sensing and Service: A Tutorial., , и . BigDataService, стр. 79-88. IEEE Computer Society, (2015)A Dietary Nutrition Analysis Method Leveraging Big Data Processing and Fuzzy Clustering., и . HIS, том 10038 из Lecture Notes in Computer Science, стр. 129-135. (2016)Formal Verification of a solution for Green Computing.. QLSC, том 5 из World Scientific Proceedings Series on Computer Engineering and Informtion Science, World Scientific, (2012)Quality of Experience and Quality of Service of Gaming Services in Fog Computing., , , и . ICMSS, стр. 225-228. ACM, (2020)A service selection method for improving integrated business processes.. APSCC, стр. 332-339. IEEE, (2009)MCloudDB: A Mobile Cloud Database Service Framework., , , и . MobileCloud, стр. 6-15. IEEE Computer Society, (2015)