( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verifying Web Services Composition Based on Interface Automata Using SPIN.

, , , и . JDCTA, 4 (8): 23-33 (2010)

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.

Jia Jia

Mei Wu

Mei Minghui

Xiaodong Mei

Mei Buder

 

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

Multiplicity of solutions for integral boundary value problems of fractional differential equations with upper and lower solutions., и . Appl. Math. Comput., (2014)The method of lower and upper solutions for mixed fractional four-point boundary value problem with p-Laplacian operator., , и . Appl. Math. Lett., (2017)Verifying Web Services Composition Based on Interface Automata Using SPIN., , , и . JDCTA, 4 (8): 23-33 (2010)Three nonnegative solutions for fractional differential equations with integral boundary conditions., и . Comput. Math. Appl., 62 (3): 1405-1412 (2011)A class of iterative functional fractional differential equation on infinite interval., и . Appl. Math. Lett., (2023)A Novel Approach for On-the-Fly Test Cases Synthesis., , и . SNPD, стр. 575-578. IEEE Computer Society, (2009)Advanced Generative Adversarial Network for Image Superresolution., , и . ICPCSEE (1), том 1628 из Communications in Computer and Information Science, стр. 193-208. Springer, (2022)Probabilistic Timed Model Checking for Atomic Web Service., , , и . SERVICES, стр. 459-466. IEEE Computer Society, (2011)Multiple solutions for fractional differential equations with nonlinear boundary conditions., и . Comput. Math. Appl., 59 (8): 2880-2886 (2010)Modeling and Verifying Web Service Applications with Time Constraints., , , и . ACIS-ICIS, стр. 791-795. IEEE Computer Society, (2010)