( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
基于Petri网的CSP并发系统验证技术研究 (Verification of Concurrent CSP Systems Based on Petri Net).

, , и . 计算机科学, 42 (10): 244-250 (2015)

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.

Zhao Zhao

Yanning Zhao

Hertz-level ultra-stable laser and its application to high precision spectroscopy. Uni Erlangen-Nürnberg, (2009)

Gongyun Zhao

Yi Zhao

Zhengkang Zhao

 

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

An Improved Reconfiguration Algorithm for VLSI Arrays with A-Star., , , и . ICCSA (2), том 9787 из Lecture Notes in Computer Science, стр. 331-343. Springer, (2016)MobiMVL: A Model-Driven Mobile Application Development Approach for End-Users., , , и . ICAIS (1), том 12239 из Lecture Notes in Computer Science, стр. 682-694. Springer, (2020)A Family of Dynamic Description Logics for Representing and Reasoning About Actions., , , и . J. Autom. Reason., 49 (1): 1-52 (2012)A mathematical programming method for constructing the shortest interconnection VLSI arrays., , , и . Integr., (2021)IoT-RECSM - Resource-Constrained Smart Service Migration Framework for IoT Edge Computing Environment., , , , , и . Sensors, 20 (8): 2294 (2020)An ASP based method for subassembly identification., , , , и . ROBIO, стр. 1317-1322. IEEE, (2009)An efficient multiple shortest augmenting paths algorithm for constructing high performance VLSI subarray., , , , , и . Integr., (2020)A Mathematical Model for Reconfiguring VLSI Subarrays Under Row and Column Rerouting., , , , и . IEEE Access, (2017)基于Petri网的CSP并发系统验证技术研究 (Verification of Concurrent CSP Systems Based on Petri Net)., , и . 计算机科学, 42 (10): 244-250 (2015)Reachability Analysis of Concurrent Boolean Programs with Symbolic Counter Abstraction., , и . ICCS, том 9 из Procedia Computer Science, стр. 1363-1370. Elsevier, (2012)