( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model checking with fairness assumptions using PAT.

, , , , , , и . Frontiers Comput. Sci., 8 (1): 1-16 (2014)

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.

Jie Zhang

Jie Zhang

Jie Zhang

Jie Zhang

Jie Zhang

 

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

Verifying a Quantitative Relaxation of Linearizability via Refinement., , , , и . SPIN, том 7976 из Lecture Notes in Computer Science, стр. 24-42. Springer, (2013)Constraint-based automatic symmetry detection., , , , , и . ASE, стр. 15-25. IEEE, (2013)Scalable automatic linearizability checking.. ICSE, стр. 1185-1187. ACM, (2011)Formal Verification of Scalable NonZero Indicators., , , , , и . SEKE, стр. 406-411. Knowledge Systems Institute Graduate School, (2009)Model checking with fairness assumptions using PAT., , , , , , и . Frontiers Comput. Sci., 8 (1): 1-16 (2014)Global geographical and scientometric analysis of tourism-themed research., , и . Scientometrics, 105 (1): 385-401 (2015)An Automatic Approach to Model Checking UML State Machines., и . SSIRI (Companion), стр. 1-6. IEEE Computer Society, (2010)Model Checking a Lazy Concurrent List-Based Set Algorithm., и . SSIRI, стр. 43-52. IEEE Computer Society, (2010)Graph-based detection of library API imitations., , и . ICSM, стр. 183-192. IEEE Computer Society, (2011)On Combining State Space Reductions with Global Fairness Assumptions., , , , и . FM, том 6664 из Lecture Notes in Computer Science, стр. 432-447. Springer, (2011)